From 234054d4a2d56e998926bb506750ceef8a4c886c Mon Sep 17 00:00:00 2001 From: "Jurgen J. Vinju" Date: Mon, 16 Mar 2026 13:50:21 +0100 Subject: [PATCH] fix issue #2714 again --- src/org/rascalmpl/semantics/dynamic/Module.java | 4 ---- 1 file changed, 4 deletions(-) diff --git a/src/org/rascalmpl/semantics/dynamic/Module.java b/src/org/rascalmpl/semantics/dynamic/Module.java index 8a58e7a6e3f..26a606784aa 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); }