X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Fcic_textual_parser%2FcicTextualParser0.ml;h=fe4bf062346c95b9cf29eaeb692871f4fccab3fd;hb=8bd6f1c6b48b2d3ba90ed6e9bb645b03d752407b;hp=7a338c249b0467a0cbc038d31d5b554d6dc285a9;hpb=37f08b2aba9f17d9d609ca0f57d607f437a3d3fc;p=helm.git

diff --git a/helm/ocaml/cic_textual_parser/cicTextualParser0.ml b/helm/ocaml/cic_textual_parser/cicTextualParser0.ml
index 7a338c249..fe4bf0623 100644
--- a/helm/ocaml/cic_textual_parser/cicTextualParser0.ml
+++ b/helm/ocaml/cic_textual_parser/cicTextualParser0.ml
@@ -27,3 +27,8 @@ 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);;
+let locate_object = ref ((fun _ -> None):string->Cic.term option);;
+
+let set_locate_object f =
+   locate_object := f