simon/sidekick
1
0
Fork 0
mirror of https://github.com/c-cube/sidekick.git synced 2025-12-10 21:24:06 -05:00
Code Issues Projects Releases Packages Wiki Activity Actions

debug msg

Browse source
This commit is contained in:
Simon Cruanes 2021-03-18 12:13:39 -04:00
parent 0d31d9d84e
commit 3693861008
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
src/cc/Sidekick_cc.ml
View file

@ -598,7 +598,7 @@ module Make (A: CC_ARG)
if same_class a b then ( if same_class a b then (
let expl = Expl.mk_merge a b in let expl = Expl.mk_merge a b in
Log.debugf 5 Log.debugf 5
(fun k->k "(pending.eq@ %a@ :r1 %a@ :r2 %a@])" N.pp n N.pp a N.pp b); (fun k->k "(@[pending.eq@ %a@ :r1 %a@ :r2 %a@])" N.pp n N.pp a N.pp b);
merge_classes cc n (n_true cc) expl merge_classes cc n (n_true cc) expl
) )
| Some (Not u) -> | Some (Not u) ->