X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=sidebyside;f=helm%2FDEVEL%2Fmathml_editor%2Ftest%2Feditor.cc;h=eab57f709b5db36cef7a129f8c98def145d00eeb;hb=5a369548a2f04fb59b5cbb94526325aae9bf415a;hp=37b84866ce3f9cc0f1c6f0cf770af4c69f88ffe2;hpb=84877da90dd68c88915b5ee54d31e9849f340eac;p=helm.git

diff --git a/helm/DEVEL/mathml_editor/test/editor.cc b/helm/DEVEL/mathml_editor/test/editor.cc
index 37b84866c..eab57f709 100644
--- a/helm/DEVEL/mathml_editor/test/editor.cc
+++ b/helm/DEVEL/mathml_editor/test/editor.cc
@@ -65,7 +65,7 @@ edit_output_tex(Context* data)
 #if 0
   res.normalize();
   DOM::Node c = res.get_firstChild();
-  if (c) cout << "HEY, there is a child! " << c.get_nodeName() << " " << c.get_nodeValue() << endl;
+  if (c) std::cout << "HEY, there is a child! " << c.get_nodeName() << " " << c.get_nodeValue() << std::endl;
 #endif
   data->texStyle.save(res, stdout);
 }
@@ -85,7 +85,7 @@ edit_push_char(Context* context, gchar ch)
 {
   assert(context != NULL);
   GUI_freeze();
-  cout << "*** SENDING " << ch << endl;
+  std::cout << "*** SENDING " << ch << std::endl;
   context->lexer.push(ch);
   GUI_thaw();
 }
@@ -144,7 +144,7 @@ edit_complete(Context* context)
   GUI_thaw();
 }
 
-void
+int
 main(int argc, char* argv[])
 {
   CLoggerConsole logger;
@@ -152,7 +152,7 @@ main(int argc, char* argv[])
 
   TDictionary dictionary(logger);
   logger.info("loading the dictionary...");
-  dictionary.load("./dictionary-test.xml");
+  dictionary.load("/usr/share/editex/dictionary-tex.xml");
 
   logger.info("loading the stylesheet...");
   DOM::DOMImplementation di;
@@ -186,4 +186,5 @@ main(int argc, char* argv[])
   GUI_run();
   GUI_uninit();
   GUI_unload_document();
+
 }