From 4442acec319822fbc4eb2e873808dbfc1893f390 Mon Sep 17 00:00:00 2001 From: Wilmer Ricciotti Date: Wed, 15 Jul 2009 13:29:33 +0000 Subject: [PATCH] Fixed dependency function, which was lacking the code for recursive calls. --- helm/software/components/ng_paramodulation/stats.ml | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) 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 [];; -- 2.39.2