Revert pathutils to old

RipplB · Oct 27, 2023 · 71d2c7b · 71d2c7b
1 parent 2cdce3f
commit 71d2c7b
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/subprojects/common/core/src/main/java/hu/bme/mit/theta/core/utils/PathUtils.java b/subprojects/common/core/src/main/java/hu/bme/mit/theta/core/utils/PathUtils.java
@@ -228,7 +228,7 @@ public <T extends Type> Expr<T> foldin(final Expr<T> expr) {
                     final VarDecl<T> varDecl = constDecl.getVarDecl();
                     final int index = constDecl.getIndex();
                     final int nPrimes = index - indexing.get(varDecl);
-                    //checkArgument(nPrimes >= 0, "Indexing mismatch on declaration: constDecl index %d, indexing %d", index, indexing.get(varDecl));
+                    checkArgument(nPrimes >= 0, "Indexing mismatch on declaration");
                     final Expr<T> varRef = varDecl.getRef();
                     if (nPrimes == 0) {
                         return varRef;