X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Fcic_omdoc%2Fcic2acic.mli;fp=helm%2Focaml%2Fcic_omdoc%2Fcic2acic.mli;h=0288125b9a8ef6e64c17c6c85379346105d2b163;hb=9be7ec5bbacfafed8a3e37cfe0095f2aea1b9bf9;hp=9cef0cb38155a164403d1f909b2dd6970088336e;hpb=be675216486dca2252bc3f58f7ae0d5f4c6fae64;p=helm.git

diff --git a/helm/ocaml/cic_omdoc/cic2acic.mli b/helm/ocaml/cic_omdoc/cic2acic.mli
index 9cef0cb38..0288125b9 100644
--- a/helm/ocaml/cic_omdoc/cic2acic.mli
+++ b/helm/ocaml/cic_omdoc/cic2acic.mli
@@ -45,6 +45,7 @@ val acic_of_cic_context' :
   Cic.annterm                             (* annotated term *)
 
 val acic_object_of_cic_object :
+  ?eta_fix: bool ->                       (* perform eta_fixing; default: true*)
   Cic.obj ->                              (* object *)
    Cic.annobj *                           (* annotated object *)
     (Cic.id, Cic.term) Hashtbl.t *        (* ids_to_terms *)