in
debug_print ("TexTermEditor: Raw Tex: " ^ (Mathml_editor.get_tex tex_editor)) ;
let environment',metasenv,expr =
- Disambiguate'.disambiguate_term mqi_handle
- context metasenv (Mathml_editor.get_tex tex_editor) !environment
+ match
+ Disambiguate'.disambiguate_term mqi_handle
+ context metasenv (Mathml_editor.get_tex tex_editor) !environment
+ with
+ [environment',metasenv,expr] -> environment',metasenv,expr
+ | _ -> assert false
in
environment := environment' ;
metasenv,expr