X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fcomponents%2Fgrafite_parser%2FgrafiteParser.mli;h=2dc83319497c54e904e91b3fddf1667afe624743;hb=8a660ee06d72cfee52c707bb1d8d8be3bab0d682;hp=d657e49752e2e23ac0e64dfcc2448cf6a12625a7;hpb=5553ac7623425bce6f34eed6e17d4f0f8163e9aa;p=helm.git

diff --git a/matita/components/grafite_parser/grafiteParser.mli b/matita/components/grafite_parser/grafiteParser.mli
index d657e4975..2dc833194 100644
--- a/matita/components/grafite_parser/grafiteParser.mli
+++ b/matita/components/grafite_parser/grafiteParser.mli
@@ -28,9 +28,9 @@ type 'a localized_option =
  | LNone of GrafiteAst.loc
 
 type ast_statement =
-  (CicNotationPt.term, CicNotationPt.term,
-   CicNotationPt.term GrafiteAst.reduction, 
-   CicNotationPt.term CicNotationPt.obj, string)
+  (NotationPt.term, NotationPt.term,
+   NotationPt.term GrafiteAst.reduction, 
+   NotationPt.term NotationPt.obj, string)
     GrafiteAst.statement
 
 exception NoInclusionPerformed of string (* full path *)