From 3e339284060b4fb3ca6d5c86e354615a4941eca9 Mon Sep 17 00:00:00 2001
From: Maxime Dénès
Date: Fri, 2 Aug 2019 16:07:43 +0200
Subject: Logic monad debug printer now emits a debug message

---
 engine/logic_monad.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'engine')

diff --git a/engine/logic_monad.ml b/engine/logic_monad.ml
index 7c06bb59f1..bada18feff 100644
--- a/engine/logic_monad.ml
+++ b/engine/logic_monad.ml
@@ -108,7 +108,7 @@ struct
       Util.iraise (Exception e, info)
 
   (** Use the current logger. The buffer is also flushed. *)
-  let print_debug   s = make (fun _ -> Feedback.msg_info s)
+  let print_debug   s = make (fun _ -> Feedback.msg_debug s)
   let print_info    s = make (fun _ -> Feedback.msg_info s)
   let print_warning s = make (fun _ -> Feedback.msg_warning s)
   let print_notice  s = make (fun _ -> Feedback.msg_notice s)
-- 
cgit v1.2.3