X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Fcic_textual_parser%2FcicTextualParserContext.mli;h=0ab69cdd55bbc85918e4ee90833fa1470ab0bc2e;hb=37f08b2aba9f17d9d609ca0f57d607f437a3d3fc;hp=7364eb6fc3f6ff6d272540adc80c6fc4b795c73c;hpb=a61f397a3ea3acaf95a04a2aafbf1d3f223a2755;p=helm.git

diff --git a/helm/ocaml/cic_textual_parser/cicTextualParserContext.mli b/helm/ocaml/cic_textual_parser/cicTextualParserContext.mli
index 7364eb6fc..0ab69cdd5 100644
--- 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