From 028bb58439ac638c43673ac4bbe70a56d1777944 Mon Sep 17 00:00:00 2001 From: Pierre Villemot Date: Fri, 22 Sep 2023 20:42:02 +0200 Subject: [PATCH] Use the right post-solve SAT environment for models Return the appropriate environment in the Frontend module to retrieve the model with `(get-model)` as we did in the PR #789. --- src/lib/frontend/frontend.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/lib/frontend/frontend.ml b/src/lib/frontend/frontend.ml index 250642876..4536969ed 100644 --- a/src/lib/frontend/frontend.ml +++ b/src/lib/frontend/frontend.ml @@ -290,7 +290,7 @@ module Make(SAT : Sat_solver_sig.S) : S with type sat_env = SAT.t = struct print_model env (Some timeout); (* TODO: Is it an appropriate behaviour? *) (* if timeout != NoTimeout then raise Util.Timeout; *) - env, consistent, dep + env, `Unknown env, dep | Util.Timeout as e -> (* In this case, we obviously want to print the status,