*** empty log message ***

[helm.git] / helm / ocaml / cic_textual_parser / cicTextualParserContext.mli

diff --git a/helm/ocaml/cic_textual_parser/cicTextualParserContext.mli b/helm/ocaml/cic_textual_parser/cicTextualParserContext.mli
index 23ad4af115ef8edd9205c1a2298d4db3dd81aec3..c83ac03f8b1df4beeb2cfccfa3dad241ecf69cae 100644 (file)
--- 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