Updated to use the new parser that creates (stacks of) existential variables

[helm.git] / helm / ocaml / cic_textual_parser / cicTextualParser0.ml

diff --git a/helm/ocaml/cic_textual_parser/cicTextualParser0.ml b/helm/ocaml/cic_textual_parser/cicTextualParser0.ml
index 7a338c249b0467a0cbc038d31d5b554d6dc285a9..0a841473474275adee71d1b89f11a3f8b47eeaf5 100644 (file)
--- a/helm/ocaml/cic_textual_parser/cicTextualParser0.ml
+++ b/helm/ocaml/cic_textual_parser/cicTextualParser0.ml
@@ -27,3 +27,4 @@ exception Eof;;
 
 let current_uri = ref (UriManager.uri_of_string "cic:/dummy.con");;
 let binders = ref ([] : (Cic.name option) list);;
+let metasenv = ref ([] : Cic.metasenv);;