X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fcomponents%2Fgrafite_engine%2FgrafiteTypes.ml;h=959d96f368b4694ce69d9fe97db907eba6ab04f4;hb=9a7c77e5c29d764109a104aa629761ba90cb511c;hp=9fd40b1c463af8c80b80002c4703b81cdbe1c8c8;hpb=290350836dd1727b3e3cdd4ee71e666a39cc4a09;p=helm.git

diff --git a/helm/software/components/grafite_engine/grafiteTypes.ml b/helm/software/components/grafite_engine/grafiteTypes.ml
index 9fd40b1c4..959d96f36 100644
--- a/helm/software/components/grafite_engine/grafiteTypes.ml
+++ b/helm/software/components/grafite_engine/grafiteTypes.ml
@@ -166,8 +166,6 @@ let add_moo_content cmds status =
     GrafiteAstPp.pp_command content')); *)
    status#set_moo_content_rev content'
 
-let get_baseuri status = status#baseuri;;
-
 let dump_status status = 
   HLog.message "status.aliases:\n";
   HLog.message "status.proof_status:";