Fixed a bug that resulted in unintentional level skips

ftsrg · Feb 16, 2024 · 105f3ea · 105f3ea
1 parent 218df2e
commit 105f3ea
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/.../mit/theta/analysis/algorithm/symbolic/symbolicnode/expression/MddExpressionTemplate.java b/.../mit/theta/analysis/algorithm/symbolic/symbolicnode/expression/MddExpressionTemplate.java
@@ -56,10 +56,10 @@ public RecursiveIntObjMapView<? extends MddNode> toCanonicalRepresentation(MddVa
         if (ExprUtils.getConstants(canonizedExpr).isEmpty()) {
             if (canonizedExpr instanceof FalseExpr) {
                 return mddVariable.getMddGraph().getTerminalZeroNode();
-            } else {
+            } /*else {
                 final MddGraph<Expr> mddGraph = (MddGraph<Expr>) mddVariable.getMddGraph();
                 return mddGraph.getNodeFor(canonizedExpr);
-            }
+            }*/
         }
 
         // Check if default