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

diff --git a/helm/DEVEL/mathml_editor/src/ILPushLexer.cc b/helm/DEVEL/mathml_editor/src/ILPushLexer.cc
index 8a2777fef..b82b52e5c 100644
--- a/helm/DEVEL/mathml_editor/src/ILPushLexer.cc
+++ b/helm/DEVEL/mathml_editor/src/ILPushLexer.cc
@@ -24,7 +24,7 @@ ILPushLexer::complete()
       if (!complete_list.size())
         {
           // no matching macro
-          logger.warning("wrong prefix: nothing to complete");
+          logger.warning("no known macro with `" + buffer + "' prefix");
         }
       else if (complete_list.size() == 1)
         {
@@ -34,7 +34,13 @@ ILPushLexer::complete()
       else
         {
           // we have more than one matching macro
-          logger.warning("prefix not sufficient");
+          logger.warning("ambiguous prefix `" + buffer + "'");
+	  for (std::list<std::string>::const_iterator p = complete_list.begin();
+	       p != complete_list.end();
+	       p++)
+	    {
+	      logger.info("Candidate: " + *p);
+	    }
           buffer = new_buffer;
         }