From 96c4d83781cff28f11b2ff1a0fb73dd0d22add8e Mon Sep 17 00:00:00 2001
From: Simon Cruanes <simon.cruanes.2007@m4x.org>
Date: Sat, 9 Feb 2019 21:43:57 -0600
Subject: [PATCH] detail: add debug message

---
 src/core/Internal.ml | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/core/Internal.ml b/src/core/Internal.ml
index adaef24d..e8cfee72 100644
--- a/src/core/Internal.ml
+++ b/src/core/Internal.ml
@@ -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