X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Fcic_textual_parser%2FcicTextualParserContext.mli;h=c83ac03f8b1df4beeb2cfccfa3dad241ecf69cae;hb=edeecdcf2cb51318a7d4c608652f4f988e80f66f;hp=23ad4af115ef8edd9205c1a2298d4db3dd81aec3;hpb=71b08b1ea99893b3c5e2d91fc26e1ab7330fd33d;p=helm.git

diff --git a/helm/ocaml/cic_textual_parser/cicTextualParserContext.mli b/helm/ocaml/cic_textual_parser/cicTextualParserContext.mli
index 23ad4af11..c83ac03f8 100644
--- a/helm/ocaml/cic_textual_parser/cicTextualParserContext.mli
+++ b/helm/ocaml/cic_textual_parser/cicTextualParserContext.mli
@@ -27,7 +27,5 @@ val main :
   context:((Cic.name option) list) ->
   metasenv:Cic.metasenv ->
   (Lexing.lexbuf  -> CicTextualParser.token) -> Lexing.lexbuf ->
-  register_aliases:((string * CicTextualParser0.uri) -> unit) ->
-   (string list *
+   string list *
     ((string -> CicTextualParser0.uri option) -> (Cic.metasenv * Cic.term))
-   ) option