X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2FgTopLevel%2FtexTermEditor.ml;fp=helm%2FgTopLevel%2FtexTermEditor.ml;h=3a9938f8e7d9a9363e8ec6d8668a537fe477cc41;hb=ccff14650d0212aeadf0fcf6ef9ed2e792516686;hp=18c2215b5f1be654f7ddf0cc36b734be2a3375ac;hpb=2afbca45037c56264d1889ced69b5f4844b9ecb9;p=helm.git

diff --git a/helm/gTopLevel/texTermEditor.ml b/helm/gTopLevel/texTermEditor.ml
index 18c2215b5..3a9938f8e 100644
--- a/helm/gTopLevel/texTermEditor.ml
+++ b/helm/gTopLevel/texTermEditor.ml
@@ -72,7 +72,7 @@ module Make(C:Disambiguate.Callbacks) =
      fun l s -> prerr_endline ("TERM_EDITOR (" ^ string_of_int l ^ "): " ^ s) in
     let tex_editor =
      Mathml_editor.create
-      Mathml_editor.default_dictionary_path
+      "dictionary-cic.xml"
       Mathml_editor.default_mathml_stylesheet_path
       Mathml_editor.default_tex_stylesheet_path
       logger