simon/sidekick
1
0
Fork 0
mirror of https://github.com/c-cube/sidekick.git synced 2025-12-07 11:45:41 -05:00
Code Issues Projects Releases Packages Wiki Activity Actions

detail: add debug message

Browse source
This commit is contained in:
Simon Cruanes 2019-02-09 21:43:57 -06:00 • committed by Guillaume Bury
parent 8ad78b2acd
commit 96c4d83781
1 changed files with 1 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

1
src/core/Internal.ml
View file

@ -1647,6 +1647,7 @@ module Make(Plugin : PLUGIN)
let atoms = List.rev_map (create_atom st) l in
(* conflicts can be removed *)
let c = Clause.make_removable atoms (Lemma proof) in
Log.debugf 5 (fun k->k "(@[@{<yellow>sat.th.raise-conflict@}@ %a@])" Clause.debug c);
raise_notrace (Th_conflict c)
let acts_propagate (st:t) f = function