From 5ed695bbbeb2b69c21e85c0d653d446817593a22 Mon Sep 17 00:00:00 2001
From: Clemens Eisenhofer <Clemens.Eisenhofer@tuwien.ac.at>
Date: Thu, 1 Dec 2022 20:13:34 +0100
Subject: [PATCH] Fixed shrink

---
 src/sat/smt/xor_solver.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/sat/smt/xor_solver.cpp b/src/sat/smt/xor_solver.cpp
index a605efcb0..5032a1ed7 100644
--- a/src/sat/smt/xor_solver.cpp
+++ b/src/sat/smt/xor_solver.cpp
@@ -769,7 +769,7 @@ namespace xr {
                 ws[j++] = ws[i];
             }
         }
-        ws.shrink(i - j);
+        ws.shrink(j);
     }
     
     // Removes all xor clauses that do not contain any variables