From acc4301bec23c01c0d50d6b465fb98df8cfbeb1f Mon Sep 17 00:00:00 2001 From: Simon Cruanes Date: Wed, 24 Mar 2021 12:13:48 -0400 Subject: [PATCH] fix build for msat 0.9 --- src/msat-solver/Sidekick_msat_solver.ml | 6 +++++- 1 file changed, 5 insertions(+), 1 deletion(-) diff --git a/src/msat-solver/Sidekick_msat_solver.ml b/src/msat-solver/Sidekick_msat_solver.ml index 02c759ca..c91a1b07 100644 --- a/src/msat-solver/Sidekick_msat_solver.ml +++ b/src/msat-solver/Sidekick_msat_solver.ml @@ -674,12 +674,16 @@ module Make(A : ARG) List.iter (fun f->f()) on_exit; in self.si.on_progress <- (fun () -> on_progress self); - let on_conflict = + + (* TODO: msat 0.10 + let on_conflict = if Profile.enabled() then Some (fun _ -> Profile.instant "sat.conflict") else None in let r = Sat_solver.solve ?on_conflict ~assumptions (solver self) in + *) + let r = Sat_solver.solve ~assumptions (solver self) in Stat.incr self.count_solve; match r with | Sat_solver.Sat st ->