New experimental commit: metavariables representation is changed again,

[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 7364eb6fc3f6ff6d272540adc80c6fc4b795c73c..0ab69cdd55bbc85918e4ee90833fa1470ab0bc2e 100644 (file)
--- a/helm/ocaml/cic_textual_parser/cicTextualParserContext.mli
+++ b/helm/ocaml/cic_textual_parser/cicTextualParserContext.mli
@@ -24,6 +24,6 @@
  *)
 
 val main :
-  current_uri:(UriManager.uri) -> context:(Cic.name list) ->
+  current_uri:(UriManager.uri) -> context:((Cic.name option) list) ->
    (Lexing.lexbuf  -> CicTextualParser.token) -> Lexing.lexbuf ->
      Cic.term option