Revert debugging code

KeYProject · Feb 21, 2024 · d86d57a · d86d57a
1 parent c351004
commit d86d57a
Showing 1 changed file with 3 additions and 7 deletions.
diff --git a/key.core/src/main/java/de/uka/ilkd/key/logic/TermImpl.java b/key.core/src/main/java/de/uka/ilkd/key/logic/TermImpl.java
@@ -703,13 +703,9 @@ public boolean containsJavaBlockRecursive() {
                 result = ThreeValuedTruth.TRUE;
             } else {
                 for (int i = 0, arity = subs.size(); i < arity; i++) {
-                    try {
-                        if (subs.get(i).containsJavaBlockRecursive()) {
-                            result = ThreeValuedTruth.TRUE;
-                            break;
-                        }
-                    } catch (NullPointerException e) {
-                        e.printStackTrace();
+                    if (subs.get(i).containsJavaBlockRecursive()) {
+                        result = ThreeValuedTruth.TRUE;
+                        break;
                     }
                 }
             }