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