Fix double push

Stevendeo · Dec 4, 2023 · cdacde1 · cdacde1
1 parent b9ca08f
commit cdacde1
Showing 1 changed file with 1 addition and 2 deletions.
diff --git 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;