- added integrity checks on .moo files

[helm.git] / helm / matita / matita.ml

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