open Printf
let _ =
- CicNotationEnv.set_pp_term CicNotationPp.pp_term;
let module P = CicNotationPt in
let level = ref ~-1 in
let arg_spec = [ "-level", Arg.Set_int level, "set the notation level" ] in
(fun env loc ->
prerr_endline "ENV";
prerr_endline (CicNotationPp.pp_env env);
- CicNotationEnv.instantiate env l2)))
+ CicNotationSubst.instantiate_level2 env l2)))
(* CicNotationParser.print_l2_pattern ()) *)
| 1 -> ignore (CicNotationParser.parse_syntax_pattern istream)
| 2 ->