X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fmatita%2FmatitaMisc.mli;h=21045c0a3b1134e5429c50ab2296fcedf979dd96;hb=29a5b18f3da1a3ed648f23709384b7789cb099bf;hp=568bcc5ed8ee9270825957d1b95a80660fb98f64;hpb=d1126c6b78a3333bbf415daf027004496b77c2f4;p=helm.git

diff --git a/helm/matita/matitaMisc.mli b/helm/matita/matitaMisc.mli
index 568bcc5ed..21045c0a3 100644
--- a/helm/matita/matitaMisc.mli
+++ b/helm/matita/matitaMisc.mli
@@ -113,7 +113,6 @@ val get_proof_status: MatitaTypes.status -> ProofEngineTypes.status
 val get_proof_metasenv: MatitaTypes.status ->  Cic.metasenv
 val get_proof_context: MatitaTypes.status -> Cic.context 
 val get_proof_conclusion: MatitaTypes.status -> Cic.term 
-val get_proof_aliases: MatitaTypes.status -> DisambiguateTypes.environment 
 
   (** given the base name of an image, returns its full path *)
 val image_path: string -> string