1) removed many debug prints

[helm.git] / matitaB / components / ng_paramodulation / stats.ml

diff --git a/matitaB/components/ng_paramodulation/stats.ml b/matitaB/components/ng_paramodulation/stats.ml
index fd68f0fe765cd7cd75be5805dac8c516a0f623fb..29db6c902c6ced25c9b0f80a16d2438676c30f58 100644 (file)
--- a/matitaB/components/ng_paramodulation/stats.ml
+++ b/matitaB/components/ng_paramodulation/stats.ml
@@ -73,7 +73,7 @@ module Stats (B : Terms.Blob) =
       in 
         aux [] 
           (match goal with
-          | _,Terms.Equation (l,r,ty,_),_,_ -> Terms.Node [ Terms.Leaf B.eqP; ty; l; r ]
+          | _,Terms.Equation (l,r,ty,_),_,_ -> Terms.Node [ Terms.Leaf (B.eqP()); ty; l; r ]
          | _,Terms.Predicate p,_,_ -> p)
     ;;