X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2FDEVEL%2Fmathml_editor%2Fsrc%2FTDictionary.cc;h=25f6c9674cc353c5359eea52e67eaa44493ea8da;hb=4167cea65ca58897d1a3dbb81ff95de5074700cc;hp=c1aae5cc1dbd427f9b457ae44a8f353682b29372;hpb=98e5817ce4fa424fb3181d90d327935c1b100ec4;p=helm.git

diff --git a/helm/DEVEL/mathml_editor/src/TDictionary.cc b/helm/DEVEL/mathml_editor/src/TDictionary.cc
index c1aae5cc1..25f6c9674 100644
--- a/helm/DEVEL/mathml_editor/src/TDictionary.cc
+++ b/helm/DEVEL/mathml_editor/src/TDictionary.cc
@@ -24,8 +24,10 @@
  */
 
 #include <sstream>
+#include <cassert>
 
 #include "dom.hh"
+#include "config.dirs"
 #include "TDictionary.hh"
 #include "TTokenizer.hh"
 #include "CLoggerConsole.hh"
@@ -48,6 +50,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)
 {