X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fmatita%2FmatitaMisc.ml;h=97d6cac4738b2b0a12c53ceaaad7cfc99d19dda5;hb=cfda0acfce3f5e0b843bfe2b7ba7c371e5690db0;hp=78e780a155224da1ee8b24a0c042cf34a9595dbe;hpb=639131d311fd0f111e09feca7b567b28d21e873f;p=helm.git

diff --git a/helm/matita/matitaMisc.ml b/helm/matita/matitaMisc.ml
index 78e780a15..97d6cac47 100644
--- a/helm/matita/matitaMisc.ml
+++ b/helm/matita/matitaMisc.ml
@@ -275,8 +275,6 @@ let get_proof_conclusion status =
       conclusion
   | _ -> statement_error "no ongoing proof"
  
-let get_proof_aliases status = status.aliases
-
 let qualify status name = get_string_option status "baseuri" ^ "/" ^ name
 
 let unopt = function None -> failwith "unopt: None" | Some v -> v