X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2FgTopLevel%2FtermEditor.ml;h=48f5adb63648b2ff04e92ddfee490fe45bb75f06;hb=09151f33b14507e4d20380f3100a6db5f49f3f46;hp=90ce49ae4489ca892f835ee9b123a2c243666065;hpb=28f262128cd08dfaad435f73d3f4eee5976993d6;p=helm.git

diff --git a/helm/gTopLevel/termEditor.ml b/helm/gTopLevel/termEditor.ml
index 90ce49ae4..48f5adb63 100644
--- a/helm/gTopLevel/termEditor.ml
+++ b/helm/gTopLevel/termEditor.ml
@@ -55,7 +55,7 @@ module Make(C:Disambiguate.Callbacks) =
 
    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 =
@@ -96,7 +96,7 @@ module Make(C:Disambiguate.Callbacks) =
            ~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' ;