X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Fcic_textual_parser%2FcicTextualParserContext.mli;h=0b8871ee83aeb9a271ad280c45360380cb7d1fd9;hb=19ebb626366e7e8f2ff906fd410a2427d375ff5d;hp=c95e7e2e76b90b25d03f0c31e4f3e1f5ce4a6125;hpb=a3b863935bfacffb76ccc913c737be53b840ffe4;p=helm.git

diff --git a/helm/ocaml/cic_textual_parser/cicTextualParserContext.mli b/helm/ocaml/cic_textual_parser/cicTextualParserContext.mli
index c95e7e2e7..0b8871ee8 100644
--- a/helm/ocaml/cic_textual_parser/cicTextualParserContext.mli
+++ b/helm/ocaml/cic_textual_parser/cicTextualParserContext.mli
@@ -27,6 +27,5 @@ val main :
   context:((Cic.name option) list) ->
   metasenv:Cic.metasenv ->
   (Lexing.lexbuf  -> CicTextualParser.token) -> Lexing.lexbuf ->
-   string list *
-    ((string -> CicTextualParser0.interp_codomain option) ->
-      (Cic.metasenv * Cic.term))
+   CicTextualParser0.interpretation_domain_item list *
+    (CicTextualParser0.interpretation -> (Cic.metasenv * Cic.term))