X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=sidebyside;f=helm%2Fmatita%2FmatitaCicMisc.ml;h=dbb80c791ab9833f3b675cc8bae22c65e5aa85e5;hb=e1cb0f658f9b16009fe536fd315b621df1157a65;hp=e6cda30240771ca2c9abc452ee6dc8676dd2ca3e;hpb=ef9ec8cb57d15426a96fe40d056eb07804753bb9;p=helm.git

diff --git a/helm/matita/matitaCicMisc.ml b/helm/matita/matitaCicMisc.ml
index e6cda3024..dbb80c791 100644
--- 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