X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2FgTopLevel%2FtexTermEditor.ml;h=d0fefdee3c271750735ceb061ea95a352902704f;hb=refs%2Ftags%2FPRE_UNIVERSES;hp=825b79e122671a3ed7fcbc1e224f0ff82f8e9ce6;hpb=4566aebfc281e0ad37da2f0f60155d5d9185a7f2;p=helm.git

diff --git a/helm/gTopLevel/texTermEditor.ml b/helm/gTopLevel/texTermEditor.ml
index 825b79e12..d0fefdee3 100644
--- a/helm/gTopLevel/texTermEditor.ml
+++ b/helm/gTopLevel/texTermEditor.ml
@@ -59,7 +59,7 @@ module Make(C:DisambiguateTypes.Callbacks) =
    module Disambiguate' = DisambiguatingParser.Make(C);;
 
    class term_editor_impl
-    ~dbh
+    ~dbd
     ?packing ?width ?height
     ?isnotempty_callback ?share_environment_with () : term_editor
    =
@@ -219,7 +219,7 @@ module Make(C:DisambiguateTypes.Callbacks) =
         debug_print ("TexTermEditor: Raw Tex: " ^ (Mathml_editor.get_tex tex_editor)) ;
         let environment',metasenv,expr =
          match
-          Disambiguate'.disambiguate_term ~dbh 
+          Disambiguate'.disambiguate_term ~dbd
            context metasenv (Mathml_editor.get_tex tex_editor) !environment
          with
             [environment',metasenv,expr] -> environment',metasenv,expr