Removed debug printing

[helm.git] / helm / software / components / ng_paramodulation / paramod.ml

diff --git a/helm/software/components/ng_paramodulation/paramod.ml b/helm/software/components/ng_paramodulation/paramod.ml
index afefb61b6324a2b17c88c827975e7bfe704b0387..787bb522edacbbf3f4f4fbb248d699dfc3a40efe 100644 (file)
--- a/helm/software/components/ng_paramodulation/paramod.ml
+++ b/helm/software/components/ng_paramodulation/paramod.ml
@@ -1,5 +1,5 @@
 let debug s =
-   prerr_endline s
+   () (*prerr_endline s*)
 ;;
 
 let nparamod rdb metasenv subst context t table =