Rebase artifact

Stevendeo · Dec 11, 2023 · 2fce261 · 2fce261
1 parent 6dce831
commit 2fce261
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/lib/reasoners/satml.ml b/src/lib/reasoners/satml.ml
@@ -266,7 +266,7 @@ module Make (Th : Theory.S) : SAT_ML with type th = Th.t = struct
 
       trail = Vec.make 601 ~dummy:Atom.dummy_atom;
 
-      trail_lim = Vec.make 601 (-105);
+      trail_lim = Vec.make 601 ~dummy:(-105);
 
       qhead = 0;