ocaml 3.09 transition

[helm.git] / helm / ocaml / cic_omdoc / eta_fixing.mli

diff --git a/helm/ocaml/cic_omdoc/eta_fixing.mli b/helm/ocaml/cic_omdoc/eta_fixing.mli
index 6da260aab978d87b5b7b50f6266776ba3af758b0..c6c68119dda6b6db7d12668956639a8df2dfb048 100644 (file)
--- 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