diff --git a/Parser/Gmsh.l b/Parser/Gmsh.l index 353b5f6ec17ad36642b511f53ed16a43f910ff86..7f5f56c16eaf8a46091382ed8d59122f5831b092 100644 --- a/Parser/Gmsh.l +++ b/Parser/Gmsh.l @@ -1,6 +1,6 @@ %{ -// $Id: Gmsh.l,v 1.27 2001-03-08 14:28:41 geuzaine Exp $ +// $Id: Gmsh.l,v 1.28 2001-03-09 08:02:58 geuzaine Exp $ #include <stdio.h> #include <stdlib.h> @@ -62,7 +62,7 @@ stepid {dieze}({digit})* %% -[ \ \t\n] /* none */ ; +[\ \t\n\r\f] /* none */ ; ";" return tEND; "/*" skipcomments(); "//" skipline();