X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fcomponents%2Fgrafite_parser%2FcicNotation2.mli;h=6c9c44167256b8e2da2fe063941a4e4ed2aabedb;hb=HEAD;hp=9b47d8d6dd7e9a2e2f0235b4d78f74f3312625d0;hpb=9a9c5b863f68367119450ae7b806d454ba1265e3;p=helm.git

diff --git a/helm/software/components/grafite_parser/cicNotation2.mli b/helm/software/components/grafite_parser/cicNotation2.mli
index 9b47d8d6d..6c9c44167 100644
--- a/helm/software/components/grafite_parser/cicNotation2.mli
+++ b/helm/software/components/grafite_parser/cicNotation2.mli
@@ -23,15 +23,7 @@
  * http://helm.cs.unibo.it/
  *)
 
-(** Note: notation is also loaded, but it cannot be undone since the
-    notation_ids part of the status is thrown away;
-    so far this function is useful only in Whelp *)
-val parse_environment:
- include_paths:string list ->
- string ->
-  LexiconAst.alias_spec DisambiguateTypes.Environment.t *
-  LexiconAst.alias_spec list DisambiguateTypes.Environment.t
-
-
 (** @param fname file from which load notation *)
-val load_notation: include_paths:string list -> string -> LexiconEngine.status
+val load_notation:
+ #LexiconEngine.status as 'status -> include_paths:string list -> string ->
+  'status