Skip to content

Commit

Permalink
Use the right post-solve SAT environment for models
Browse files Browse the repository at this point in the history
Return the appropriate environment in the Frontend module to
retrieve the model with `(get-model)` as we did in the PR OCamlPro#789.
  • Loading branch information
Halbaroth committed Sep 22, 2023
1 parent 8db76ae commit 028bb58
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion src/lib/frontend/frontend.ml
Original file line number Diff line number Diff line change
Expand Up @@ -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,
Expand Down

0 comments on commit 028bb58

Please sign in to comment.