From: Andrea Asperti <andrea.asperti@unibo.it>
Date: Fri, 5 Nov 2010 12:53:36 +0000 (+0000)
Subject: - cleanup
X-Git-Tag: make_still_working~2711
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=f167565ea9faf28f4e3d76b8f160fd269cd1aa84;p=helm.git

- cleanup
---

diff --git a/matita/components/grafite_parser/grafiteParser.ml b/matita/components/grafite_parser/grafiteParser.ml
index 6da952c7d..27634f1c3 100644
--- a/matita/components/grafite_parser/grafiteParser.ml
+++ b/matita/components/grafite_parser/grafiteParser.ml
@@ -28,8 +28,6 @@
 module N  = NotationPt
 module G  = GrafiteAst
 
-type ast_statement = G.statement
-
 let exc_located_wrapper f =
   try
     f ()
@@ -619,7 +617,7 @@ EXTEND
   statement
 ;;
 
-type db = ast_statement Grammar.Entry.e ;;
+type db = GrafiteAst.statement Grammar.Entry.e ;;
 
 class type g_status =
  object
diff --git a/matita/components/grafite_parser/grafiteParser.mli b/matita/components/grafite_parser/grafiteParser.mli
index 888b73942..2b458fdf8 100644
--- a/matita/components/grafite_parser/grafiteParser.mli
+++ b/matita/components/grafite_parser/grafiteParser.mli
@@ -23,8 +23,6 @@
  * http://helm.cs.unibo.it/
  *)
 
-type ast_statement = GrafiteAst.statement
-
 type db 
 
 class type g_status =
@@ -49,4 +47,4 @@ val extend : #status as 'status ->
  (* never_include: do not call LexiconEngine to do includes, 
   * always raise NoInclusionPerformed *) 
 (** @raise End_of_file *)
-val parse_statement: #status -> Ulexing.lexbuf -> ast_statement
+val parse_statement: #status -> Ulexing.lexbuf -> GrafiteAst.statement