rebuilt against ocaml 3.08.3

[helm.git] / helm / matita / matitaCicMisc.ml

diff --git a/helm/matita/matitaCicMisc.ml b/helm/matita/matitaCicMisc.ml
index e6cda30240771ca2c9abc452ee6dc8676dd2ca3e..dbb80c791ab9833f3b675cc8bae22c65e5aa85e5 100644 (file)
--- a/helm/matita/matitaCicMisc.ml
+++ b/helm/matita/matitaCicMisc.ml
@@ -60,7 +60,7 @@ let disambiguate ~(disambiguator:MatitaTypes.disambiguator) ~currentProof ast =
   end else
     disambiguator#disambiguateTermAst ast
 
-let get_context_and_metasenv ~(currentProof:MatitaTypes.currentProof) =
+let get_context_and_metasenv ~(currentProof:#MatitaTypes.currentProof) =
   if currentProof#onGoing () then
     let proof = currentProof#proof in
     let metasenv = proof#metasenv in