@@ -251,7 +251,7 @@ REALNUM ([+-]?(([0-9]+[.])|([0-9]*[.][0-9]+))([eE][+-]?[0-9]+)?)
yyless(1);
}
-[ \t] {
+[ \t\r] {
// Eat whitespace.
accept();