Rebase artifacts

OCamlPro · Nov 18, 2022 · f0223f2 · f0223f2
1 parent f0c7dad
commit f0223f2
Show file tree

Hide file tree

Showing 2 changed files with 1 addition and 2 deletions.
diff --git a/src/lib/reasoners/fun_sat.ml b/src/lib/reasoners/fun_sat.ml
@@ -1919,7 +1919,7 @@ module Make (Th : Theory.S) : Sat_solver_sig.S = struct
     {env with tbox = Th.assume_th_elt env.tbox th_elt dep}
 
   let reinit_ctx () =
-    all_models_sat_env := None;
+    (* all_models_sat_env := None; *)
     latest_saved_env := None;
     terminated_normally := false;
     Steps.reinit_steps ();

diff --git a/src/lib/reasoners/uf.mli b/src/lib/reasoners/uf.mli
@@ -66,7 +66,6 @@ val make : t -> Expr.t -> r (* may raise Not_found *)
 val is_normalized : t -> r -> bool
 
 val assign_next : t -> (r Xliteral.view * bool * Th_util.lit_origin) list * t
-val output_concrete_model : t -> unit
 
 (** {2 Counterexample function} *)