From 7c400087e8397459ebe3b932b4710cffcc07a36e Mon Sep 17 00:00:00 2001 From: Claudio Sacerdoti Coen Date: Tue, 23 Sep 2003 15:58:28 +0000 Subject: [PATCH] Reindentation --- helm/ocaml/cic_omdoc/eta_fixing.ml | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) 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 -- 2.39.2