diff --git a/src/lib/frontend/frontend.ml b/src/lib/frontend/frontend.ml
index ca8ec57ecf..5ccb39c465 100644
--- 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