From 71d2c7ba40f40a11fa7c9ed1e1dbcb95ec888ccb Mon Sep 17 00:00:00 2001
From: RipplB <balazs.rippl.official@gmail.com>
Date: Fri, 27 Oct 2023 16:55:40 +0200
Subject: [PATCH] Revert pathutils to old

---
 .../src/main/java/hu/bme/mit/theta/core/utils/PathUtils.java    | 2 +-
 1 file changed, 1 insertion(+), 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
index 3eb15e133c..0dc1697761 100644
--- 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;