X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fcomponents%2Fng_paramodulation%2Fstats.ml;h=0f9f45d960e6c30aac980d5bde0f62950d7678a1;hb=4442acec319822fbc4eb2e873808dbfc1893f390;hp=a281ddc867a12ee8a21ab8f1ae17f629cf345e87;hpb=c51a6bd3e1ee41e2dc71d7829cc15e85cecea8ab;p=helm.git

diff --git a/helm/software/components/ng_paramodulation/stats.ml b/helm/software/components/ng_paramodulation/stats.ml
index a281ddc86..0f9f45d96 100644
--- a/helm/software/components/ng_paramodulation/stats.ml
+++ b/helm/software/components/ng_paramodulation/stats.ml
@@ -85,7 +85,7 @@ module Stats (B : Terms.Blob) =
 
     let rec dependencies op clauses acc =
       match clauses with
-	| [] -> []
+	| [] -> acc
 	| (_,lit,_,_)::tl ->
 	    match lit with
 	      | Terms.Predicate _ -> assert false
@@ -109,7 +109,7 @@ module Stats (B : Terms.Blob) =
 			    else
 			      dependencies op tl acc
 			else dependencies op tl acc
-		    | _ -> acc
+		    | _ -> dependencies op tl acc
     ;;
 
     let dependencies op clauses = dependencies op clauses [];;