X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Fcic_omdoc%2Feta_fixing.mli;h=c6c68119dda6b6db7d12668956639a8df2dfb048;hb=bb236c2ac110124de92fa2d0fb2882d273a7f7eb;hp=6da260aab978d87b5b7b50f6266776ba3af758b0;hpb=264523336352a5241b747b7e04b33630f6010aeb;p=helm.git

diff --git a/helm/ocaml/cic_omdoc/eta_fixing.mli b/helm/ocaml/cic_omdoc/eta_fixing.mli
index 6da260aab..c6c68119d 100644
--- a/helm/ocaml/cic_omdoc/eta_fixing.mli
+++ b/helm/ocaml/cic_omdoc/eta_fixing.mli
@@ -23,6 +23,6 @@
  * http://cs.unibo.it/helm/.
  *)
 
-val eta_fix : Cic.metasenv -> Cic.term -> Cic.term
+val eta_fix : Cic.metasenv -> Cic.context -> Cic.term -> Cic.term