diff --git a/Parser/Gmsh.l b/Parser/Gmsh.l
index 8dd23b55310bb828186876a420b40b8c1216d3b5..b506704cac46d0ded4ee698ed1546e9855f15a14 100644
--- a/Parser/Gmsh.l
+++ b/Parser/Gmsh.l
@@ -1,4 +1,4 @@
-%{ /* $Id: Gmsh.l,v 1.22 2000-12-17 21:17:29 remacle Exp $ */
+%{ /* $Id: Gmsh.l,v 1.23 2000-12-19 08:59:59 geuzaine Exp $ */
 
 #include <stdio.h>
 #include <stdlib.h>
@@ -60,8 +60,7 @@ stepid  {dieze}({digit})*
 %%
 
 [\ \t\n]		/* none */ ;
-[;]                     return tEND;
-
+";"                     return tEND;
 "/*"			skipcomments();
 "//"			skipline();
 "\""			{parsestring('\"'); return tBIGSTR;}