Small bug fix

ftsrg · Feb 18, 2025 · a1f2d76 · a1f2d76
1 parent ad4e437
commit a1f2d76
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/subprojects/solver/solver-z3/src/main/java/hu/bme/mit/theta/solver/z3/Z3ItpSolver.java b/subprojects/solver/solver-z3/src/main/java/hu/bme/mit/theta/solver/z3/Z3ItpSolver.java
@@ -244,7 +244,7 @@ public void push() {
 
     @Override
     public void pop(final int n) {
-        expCnt += n;
+        expCnt -= n;
         markers.pop(n);
         for (final Z3ItpMarker marker : markers) {
             marker.pop(n);