New dictionary created to handle special syntax for CIC.

[helm.git] / helm / gTopLevel / texTermEditor.ml

diff --git a/helm/gTopLevel/texTermEditor.ml b/helm/gTopLevel/texTermEditor.ml
index 18c2215b5f1be654f7ddf0cc36b734be2a3375ac..3a9938f8e7d9a9363e8ec6d8668a537fe477cc41 100644 (file)
--- 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