X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2FDEVEL%2Fmathml_editor%2Fsrc%2FTDictionary.cc;h=2359b69cbfa6855596875bed87535666056fc733;hb=84877da90dd68c88915b5ee54d31e9849f340eac;hp=c1aae5cc1dbd427f9b457ae44a8f353682b29372;hpb=66376d9f664b15e722459103d705470d15920a1b;p=helm.git

diff --git a/helm/DEVEL/mathml_editor/src/TDictionary.cc b/helm/DEVEL/mathml_editor/src/TDictionary.cc
index c1aae5cc1..2359b69cb 100644
--- a/helm/DEVEL/mathml_editor/src/TDictionary.cc
+++ b/helm/DEVEL/mathml_editor/src/TDictionary.cc
@@ -26,6 +26,7 @@
 #include <sstream>
 
 #include "dom.hh"
+#include "config.dirs"
 #include "TDictionary.hh"
 #include "TTokenizer.hh"
 #include "CLoggerConsole.hh"
@@ -48,6 +49,12 @@ getURIName(const std::string& uri)
   else return uri;
 }
 
+std::string
+TDictionary::getDefaultDictionaryPath()
+{
+  return PKGDATADIR"/dictionary-tex.xml";
+}
+
 void
 TDictionary::load(const std::string& uri)
 {