in
let environment',metasenv,expr,ugraph =
match
- Disambiguate'.disambiguate_term ~dbd context metasenv
+ Disambiguate'.disambiguate_term ~dbd ~context ~metasenv
(input#buffer#get_text ()) ~initial_ugraph:CicUniv.empty_ugraph
- !environment
+ ~aliases:!environment
with
[environment',metasenv,expr,u] -> environment',metasenv,expr,u
| _ -> assert false