- further simplifications (??) of the status dependencies

[helm.git] / matita / components / grafite_parser / grafiteParser.ml

diff --git a/matita/components/grafite_parser/grafiteParser.ml b/matita/components/grafite_parser/grafiteParser.ml
index 5b092a6d310fc2dc3641374cc026a2a73118d194..fb042585aedec3e8703970d2741bc88c9886d406 100644 (file)
--- a/matita/components/grafite_parser/grafiteParser.ml
+++ b/matita/components/grafite_parser/grafiteParser.ml
@@ -27,7 +27,6 @@
 
 module N  = NotationPt
 module G  = GrafiteAst
-module LE = LexiconEngine
 
 type 'a localized_option =
    LSome of 'a