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

detail in debug

Browse source
This commit is contained in:
Simon Cruanes 2018-08-17 14:22:36 -05:00
parent bf0b5185bd
commit c9ab548a5a
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/smt/Congruence_closure.ml
View file

@ -102,7 +102,7 @@ let[@inline] false_ cc = cc.false_
let[@inline] get_ cc (t:term) : node =
try Term.Tbl.find cc.tbl t
with Not_found ->
Log.debugf 1 (fun k->k "(@[<hv1>cc.error: missing@ %a@])" Term.pp t);
Log.debugf 1 (fun k->k "(@[<hv1>cc.error@ :missing-term %a@])" Term.pp t);
assert false
(* non-recursive, inlinable function for [find] *)