module Disambiguate' = Disambiguate.Make(C);;
- class term_editor_impl ?packing ?width ?height ?isnotempty_callback
+ class term_editor_impl mqi_handle ?packing ?width ?height ?isnotempty_callback
?share_id_to_uris_with () : term_editor
=
let id_to_uris =
~context:name_context ~metasenv CicTextualLexer.token lexbuf
in
let id_to_uris',metasenv,expr =
- Disambiguate'.disambiguate_input
+ Disambiguate'.disambiguate_input mqi_handle
context metasenv dom mk_metasenv_and_expr ~id_to_uris:!id_to_uris
in
id_to_uris := id_to_uris' ;