From f9eab536db2611b69ea2f67afe6bd62274d21ca8 Mon Sep 17 00:00:00 2001 From: Claudio Sacerdoti Coen Date: Tue, 10 Jan 2006 12:02:08 +0000 Subject: [PATCH] Dead code removed. --- helm/ocaml/cic_acic/doubleTypeInference.ml | 6 ------ 1 file changed, 6 deletions(-) diff --git a/helm/ocaml/cic_acic/doubleTypeInference.ml b/helm/ocaml/cic_acic/doubleTypeInference.ml index 2400653be..30a8f5c29 100644 --- a/helm/ocaml/cic_acic/doubleTypeInference.ml +++ b/helm/ocaml/cic_acic/doubleTypeInference.ml @@ -86,9 +86,6 @@ let rec does_not_occur n = | C.Fix (_,fl) -> let len = List.length fl in let n_plus_len = n + len in - let tys = - List.map (fun (n,_,ty,_) -> Some (C.Name n,(Cic.Decl ty))) fl - in List.fold_right (fun (_,_,ty,bo) i -> i && does_not_occur n ty && @@ -97,9 +94,6 @@ let rec does_not_occur n = | C.CoFix (_,fl) -> let len = List.length fl in let n_plus_len = n + len in - let tys = - List.map (fun (n,ty,_) -> Some (C.Name n,(Cic.Decl ty))) fl - in List.fold_right (fun (_,ty,bo) i -> i && does_not_occur n ty && -- 2.39.2