From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Tue, 10 Jan 2006 12:02:08 +0000 (+0000)
Subject: Dead code removed.
X-Git-Tag: make_still_working~7859
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=f9eab536db2611b69ea2f67afe6bd62274d21ca8;p=helm.git

Dead code removed.
---

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 &&