diff --git a/src/org/rascalmpl/semantics/dynamic/Module.java b/src/org/rascalmpl/semantics/dynamic/Module.java index 8a58e7a6e3..26a606784a 100644 --- a/src/org/rascalmpl/semantics/dynamic/Module.java +++ b/src/org/rascalmpl/semantics/dynamic/Module.java @@ -62,10 +62,6 @@ public Result interpret(IEvaluator> eval) { l.interpret(eval); } } - catch (RuntimeException e) { - env.setInitialized(false); - throw e; - } finally { eval.setCurrentEnvt(oldEnv); }