X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2FDEVEL%2Fmathml_editor%2Fsrc%2FCLoggerConsole.cc;h=0265f389daa4d0be4bfdf2ed1c25e410cd6b216a;hb=97c2d258a5c524eb5c4b85208899d80751a2c82f;hp=f5d4749def82a2581825a4d26a46f12b5272248b;hpb=c112706f347e08e7f345131fbc4c3aa0e9ecc7b5;p=helm.git

diff --git a/helm/DEVEL/mathml_editor/src/CLoggerConsole.cc b/helm/DEVEL/mathml_editor/src/CLoggerConsole.cc
index f5d4749de..0265f389d 100644
--- a/helm/DEVEL/mathml_editor/src/CLoggerConsole.cc
+++ b/helm/DEVEL/mathml_editor/src/CLoggerConsole.cc
@@ -31,5 +31,5 @@ void
 CLoggerConsole::message(Level l, const std::string& msg)
 {
   const char* ls[] = { "Error", "Warning", "Info", "Debug" };
-  cerr << "*** " << ls[l] << ": " << msg << endl;
+  std::cerr << "*** " << ls[l] << ": " << msg << std::endl;
 }