* http://cs.unibo.it/helm/.
*)
+let debug = true
+let debug_print s = if debug then prerr_endline s
+
(******************************************************************************)
(* *)
(* PROJECT HELM *)
| None -> None
) context
in
-prerr_endline ("###CSC: " ^ (Mathml_editor.get_tex tex_editor)) ;
+ 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