From df8f668d1369432dbfb7c74a4c4789f3353fcb45 Mon Sep 17 00:00:00 2001 From: Enrico Tassi Date: Fri, 21 Jul 2006 14:17:20 +0000 Subject: [PATCH] eta_fix default to false --- components/cic_acic/cic2acic.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/components/cic_acic/cic2acic.ml b/components/cic_acic/cic2acic.ml index 72837dab0..6da648453 100644 --- a/components/cic_acic/cic2acic.ml +++ b/components/cic_acic/cic2acic.ml @@ -474,7 +474,7 @@ let asequent_of_sequent (metasenv:Cic.metasenv) (sequent:Cic.conjecture) = ids_to_terms,ids_to_father_ids,ids_to_inner_sorts,ids_to_hypotheses)) ;; -let acic_object_of_cic_object ?(eta_fix=true) obj = +let acic_object_of_cic_object ?(eta_fix=false) obj = let module C = Cic in let module E = Eta_fixing in let ids_to_terms = Hashtbl.create 503 in -- 2.39.2