X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matitaB%2Fcomponents%2Fng_paramodulation%2Fstats.ml;h=29db6c902c6ced25c9b0f80a16d2438676c30f58;hb=4f3b04e9966484011328d5b0eb358da4416e29b0;hp=fd68f0fe765cd7cd75be5805dac8c516a0f623fb;hpb=d0d2ebcf0ad48c38dcd69142f5e080e987fc5536;p=helm.git

diff --git a/matitaB/components/ng_paramodulation/stats.ml b/matitaB/components/ng_paramodulation/stats.ml
index fd68f0fe7..29db6c902 100644
--- 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)
     ;;