From cdacde15cd8d0e379e0c35b0ad451276915b40b4 Mon Sep 17 00:00:00 2001
From: Steven de Oliveira <de.oliveira.steven@gmail.com>
Date: Mon, 4 Dec 2023 16:55:41 +0100
Subject: [PATCH] Fix double push

---
 src/lib/frontend/frontend.ml | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/src/lib/frontend/frontend.ml b/src/lib/frontend/frontend.ml
index 877aa6c50..cbd4cdd80 100644
--- a/src/lib/frontend/frontend.ml
+++ b/src/lib/frontend/frontend.ml
@@ -304,8 +304,7 @@ module Make(SAT : Sat_solver_sig.S) : S with type sat_env = SAT.t = struct
     ignore loc;
     Util.loop ~f:(fun _ res () -> Stack.push res env.consistent_dep_stack)
       ~max:n ~elt:(env.res, env.expl) ~init:();
-    Steps.apply_without_step_limit (fun () -> SAT.push env.sat_env n);
-    SAT.push env.sat_env n
+    Steps.apply_without_step_limit (fun () -> SAT.push env.sat_env n)
 
   let internal_pop ?(loc = Loc.dummy) (n : int) (env : env) : unit =
     ignore loc;