From 7f18e5f29a19e0a7c522530ebd7527e16e6cf1a6 Mon Sep 17 00:00:00 2001
From: Simon Cruanes <simon.cruanes.2007@m4x.org>
Date: Mon, 19 Jul 2021 00:27:20 -0400
Subject: [PATCH] fix

---
 src/sat/Solver.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/sat/Solver.ml b/src/sat/Solver.ml
index 6741fce0..bf729324 100644
--- a/src/sat/Solver.ml
+++ b/src/sat/Solver.ml
@@ -268,7 +268,7 @@ module Make(Plugin : PLUGIN)
       Bitvec.ensure_size v_default_polarity v_idx;
       Bitvec.set v_default_polarity v_idx pol;
 
-      assert (Vec.size a_form = 2 * ((v:var:>int) - 1));
+      assert (Vec.size a_form = 2 * (v:var:>int));
       Bitvec.ensure_size a_is_true (2*(v:var:>int));
       Bitvec.ensure_size a_seen (2*(v:var:>int));
       Vec.push a_form form;