Wrapping push and pop as well

OCamlPro · Nov 17, 2023 · 74e4ed8 · 74e4ed8
1 parent 3684a35
commit 74e4ed8
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/src/lib/frontend/frontend.ml b/src/lib/frontend/frontend.ml
@@ -419,9 +419,9 @@ module Make(SAT : Sat_solver_sig.S) : S with type sat_env = SAT.t = struct
   let wrap_f f ?loc env x =
     check_step_limit (fun env -> handle_sat_exn f ?loc env x) env
 
-  let push = handle_sat_exn internal_push
+  let push = wrap_f internal_push
 
-  let pop = handle_sat_exn internal_pop
+  let pop = wrap_f  internal_pop
 
   let assume = wrap_f internal_assume