removed debug prerr_endline

[helm.git] / helm / ocaml / tactics / ring.ml

diff --git a/helm/ocaml/tactics/ring.ml b/helm/ocaml/tactics/ring.ml
index 4691239f411eb78362ce68dc29e839450675c6e2..cebb4cf91b35416d73a637cbf73a7aabb5861136 100644 (file)
--- a/helm/ocaml/tactics/ring.ml
+++ b/helm/ocaml/tactics/ring.ml
@@ -34,11 +34,12 @@ open HelmLibraryObjects
 
   (** perform debugging output? *)
 let debug = false
+let debug_print = fun _ -> ()
 
   (** debugging print *)
 let warn s =
   if debug then
-    prerr_endline ("RING WARNING: " ^ s)
+    debug_print ("RING WARNING: " ^ s)
 
 (** CIC URIS *)