let _ =
Helm_registry.load_from "conf.xml";
CicParser.impredicative_set := false;
- NCicPp.set_ppterm NCicPp.trivial_pp_term;
let u = UriManager.uri_of_string Sys.argv.(1) in
let o, _ = CicEnvironment.get_obj CicUniv.oblivion_ugraph u in
prerr_endline "VECCHIO";