X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fmatita%2Fmatita.ml;h=c3fdb2459c89e7fe580a74c07664e5c0d5270120;hb=3147daf418c31528a67462c77b4cb3fd6431289c;hp=45ad19556de1f2f8c45a663e8cfa685f7f5af01e;hpb=51d82e0a8a4d4ed86d2646edb2654e565ac34a82;p=helm.git

diff --git a/helm/matita/matita.ml b/helm/matita/matita.ml
index 45ad19556..c3fdb2459 100644
--- a/helm/matita/matita.ml
+++ b/helm/matita/matita.ml
@@ -27,7 +27,6 @@ open Printf
 
 open MatitaGtkMisc
 open MatitaTypes
-open MatitaMisc
 
 (** {2 Initialization} *)