* http://cs.unibo.it/helm/.
*)
-let main ~current_uri ~context lexer lexbuf =
+let main ~current_uri ~context ~metasenv lexer lexbuf =
(* Warning: higly non-reentrant code!!! *)
CicTextualParser0.current_uri := current_uri ;
CicTextualParser0.binders := context ;
- let res = CicTextualParser.main lexer lexbuf in
- CicTextualParser0.binders := [] ;
- res
+ CicTextualParser0.metasenv := metasenv ;
+ match CicTextualParser.main lexer lexbuf with
+ None -> None
+ | Some res ->
+ CicTextualParser0.binders := [] ;
+ Some (!CicTextualParser0.metasenv,res)
;;