From 74e4ed8f82cb11aa1509798ecf29717dd30979d9 Mon Sep 17 00:00:00 2001 From: Steven de Oliveira Date: Fri, 17 Nov 2023 16:11:57 +0100 Subject: [PATCH] Wrapping push and pop as well --- src/lib/frontend/frontend.ml | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/src/lib/frontend/frontend.ml b/src/lib/frontend/frontend.ml index ca8ec57ecf..365c4e9548 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