From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Tue, 23 Sep 2003 15:58:28 +0000 (+0000)
Subject: Reindentation
X-Git-Tag: V_0_4_3_4~15
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=7c400087e8397459ebe3b932b4710cffcc07a36e;p=helm.git

Reindentation
---

diff --git a/helm/ocaml/cic_omdoc/eta_fixing.ml b/helm/ocaml/cic_omdoc/eta_fixing.ml
index d6293d243..4a529a2bc 100644
--- a/helm/ocaml/cic_omdoc/eta_fixing.ml
+++ b/helm/ocaml/cic_omdoc/eta_fixing.ml
@@ -260,8 +260,9 @@ let eta_fix metasenv t =
           if noparams = 0 then 
             List.map (fun (_,t) -> t) constructors 
           else 
-	    let term_type = 
-              CicTypeChecker.type_of_aux' metasenv context term in
+	         let term_type = 
+            TypeInference.type_of_aux' metasenv context term
+           in
             (match term_type with
                C.Appl (hd::params) -> 
                  List.map (fun (_,t) -> clean_up t params) constructors