From 7385d3c7fc6b3bd7101e6a7ce5ff00008e187e89 Mon Sep 17 00:00:00 2001
From: Enrico Tassi
Date: Wed, 15 Jun 2016 17:36:14 +0200
Subject: ssrmatching: debug prints sent via msg_debug

---
 plugins/ssrmatching/ssrmatching.ml4 | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'plugins')

diff --git a/plugins/ssrmatching/ssrmatching.ml4 b/plugins/ssrmatching/ssrmatching.ml4
index 718296c501..4cb8837a20 100644
--- a/plugins/ssrmatching/ssrmatching.ml4
+++ b/plugins/ssrmatching/ssrmatching.ml4
@@ -61,7 +61,7 @@ let ppnl = Feedback.msg_info
 (* 0 cost pp function. Active only if env variable SSRDEBUG is set *)
 (* or if SsrDebug is Set                                                  *)
 let pp_ref = ref (fun _ -> ())
-let ssr_pp s = Feedback.msg_error (str"SSR: "++Lazy.force s)
+let ssr_pp s = Feedback.msg_debug (str"SSR: "++Lazy.force s)
 let _ =
   try ignore(Sys.getenv "SSRMATCHINGDEBUG"); pp_ref := ssr_pp
   with Not_found -> ()
-- 
cgit v1.2.3