From c9ab548a5ae77b8e3889366aff4c2ad3713df09c Mon Sep 17 00:00:00 2001 From: Simon Cruanes Date: Fri, 17 Aug 2018 14:22:36 -0500 Subject: [PATCH] detail in debug --- src/smt/Congruence_closure.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/smt/Congruence_closure.ml b/src/smt/Congruence_closure.ml index d5ddf8f9..caf06a6d 100644 --- a/src/smt/Congruence_closure.ml +++ b/src/smt/Congruence_closure.ml @@ -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 "(@[cc.error: missing@ %a@])" Term.pp t); + Log.debugf 1 (fun k->k "(@[cc.error@ :missing-term %a@])" Term.pp t); assert false (* non-recursive, inlinable function for [find] *)