From: Wilmer Ricciotti <ricciott@cs.unibo.it>
Date: Wed, 15 Jul 2009 13:29:33 +0000 (+0000)
Subject: Fixed dependency function, which was lacking the code for recursive calls.
X-Git-Tag: make_still_working~3679
X-Git-Url: http://matita.cs.unibo.it/gitweb/?p=helm.git;a=commitdiff_plain;h=4442acec319822fbc4eb2e873808dbfc1893f390

Fixed dependency function, which was lacking the code for recursive calls.
---

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 [];;