CicNotationParser.parse_level2_ast (Ulexing.from_utf8_string term)
in
try
- fst (Disambiguator.disambiguate_term ~dbd ~context ~metasenv ast
+ fst (Disambiguator.disambiguate_term ~dbd ~context ~metasenv ("",0,ast)
?initial_ugraph ~aliases ~universe:None)
with Exit -> raise (Ambiguous_term (lazy term))
end