From 2fce2618d30914b59f2faeed2bfd199112335c3b Mon Sep 17 00:00:00 2001
From: Steven de Oliveira <de.oliveira.steven@gmail.com>
Date: Mon, 11 Dec 2023 12:13:00 +0100
Subject: [PATCH] Rebase artifact

---
 src/lib/reasoners/satml.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/lib/reasoners/satml.ml b/src/lib/reasoners/satml.ml
index c9dde39c40..65f21c4d68 100644
--- 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;