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