Index: src/Parser/parser.cc
===================================================================
--- src/Parser/parser.cc	(revision 8a95629f07fa647caf0004c609a305c6db9b1816)
+++ src/Parser/parser.cc	(revision eff0cad0bfc8a388104f505544a5d34d261340f5)
@@ -9272,6 +9272,5 @@
 	    std::cout << "in file " << yyfilename << " ";
 	} // if
-//	std::cout << "at line " << yylineno << " reading token \"" << *(yylval.tok.str) << "\"" << std::endl;
-	std::cout << "at line " << yylineno << " reading token \"" << yytext << "\"" << std::endl;
+	std::cout << "at line " << yylineno << " reading token \"" << (yytext[0] == '\0' ? "EOF" : yytext) << "\"" << std::endl;
 }
 
Index: src/Parser/parser.yy
===================================================================
--- src/Parser/parser.yy	(revision 8a95629f07fa647caf0004c609a305c6db9b1816)
+++ src/Parser/parser.yy	(revision eff0cad0bfc8a388104f505544a5d34d261340f5)
@@ -10,6 +10,6 @@
 // Created On       : Sat Sep  1 20:22:55 2001
 // Last Modified By : Peter A. Buhr
-// Last Modified On : Wed Jun 10 14:22:15 2015
-// Update Count     : 1039
+// Last Modified On : Wed Jun 10 20:31:54 2015
+// Update Count     : 1040
 // 
 
@@ -2723,5 +2723,5 @@
 	    std::cout << "in file " << yyfilename << " ";
 	} // if
-	std::cout << "at line " << yylineno << " reading token \"" << yytext << "\"" << std::endl;
+	std::cout << "at line " << yylineno << " reading token \"" << (yytext[0] == '\0' ? "EOF" : yytext) << "\"" << std::endl;
 }