From c5dc22667edabecbd927a24495fee12bc823f387 Mon Sep 17 00:00:00 2001
From: Ferruccio Guidi <ferruccio.guidi@unibo.it>
Date: Tue, 23 Sep 2003 17:06:50 +0000
Subject: [PATCH] patch

---
 helm/ocaml/cic_omdoc/eta_fixing.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/helm/ocaml/cic_omdoc/eta_fixing.ml b/helm/ocaml/cic_omdoc/eta_fixing.ml
index 4a529a2bc..c224bcf65 100644
--- a/helm/ocaml/cic_omdoc/eta_fixing.ml
+++ b/helm/ocaml/cic_omdoc/eta_fixing.ml
@@ -261,7 +261,7 @@ let eta_fix metasenv t =
             List.map (fun (_,t) -> t) constructors 
           else 
 	         let term_type = 
-            TypeInference.type_of_aux' metasenv context term
+            CicTypeChecker.type_of_aux' metasenv context term
            in
             (match term_type with
                C.Appl (hd::params) -> 
-- 
2.39.2