simon/sidekick
1
0
Fork 0
mirror of https://github.com/c-cube/sidekick.git synced 2025-12-08 20:25:31 -05:00
Code Issues Projects Releases Packages Wiki Activity Actions

fix build for msat 0.9

Browse source
This commit is contained in:
Simon Cruanes 2021-03-24 12:13:48 -04:00
parent 65fda4de41
commit acc4301bec
1 changed files with 5 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

6
src/msat-solver/Sidekick_msat_solver.ml
View file

@ -674,12 +674,16 @@ module Make(A : ARG)
List.iter (fun f->f()) on_exit; List.iter (fun f->f()) on_exit;
in in
self.si.on_progress <- (fun () -> on_progress self); self.si.on_progress <- (fun () -> on_progress self);
let on_conflict =
(* TODO: msat 0.10
let on_conflict =
if Profile.enabled() if Profile.enabled()
then Some (fun _ -> Profile.instant "sat.conflict") then Some (fun _ -> Profile.instant "sat.conflict")
else None else None
in in
let r = Sat_solver.solve ?on_conflict ~assumptions (solver self) 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; Stat.incr self.count_solve;
match r with match r with
| Sat_solver.Sat st -> | Sat_solver.Sat st ->