- debug_print ("ast: " ^ CicAstPp.pp_term ast);
- let (_, _, term) =
- Disambiguate'.disambiguate_term mqi_handle [] [] ast
- DisambiguateTypes.Environment.empty
+ let new_pp = BoxPp.pp_term ast in
+ debug_print ("ast:\n" ^ new_pp);
+ let new_ast = CicTextualParser2.parse_term (Stream.of_string new_pp) in
+ debug_print ("new_ast:\n" ^ CicAstPp.pp_term ast);
+ let res =
+ Disambiguate'.disambiguate_term ~dbd [] [] new_ast
+ ~aliases:DisambiguateTypes.Environment.empty
+ ~initial_ugraph:CicUniv.empty_ugraph