diff --git a/MathEval/parser.cpp b/MathEval/parser.cpp
index 8944f5f000654e4afd0712674576906cd4526aa0..fd98a05e939995f186696e360e932352793bd204 100644
--- a/MathEval/parser.cpp
+++ b/MathEval/parser.cpp
@@ -58,7 +58,7 @@ int yylex (void);
    prematurely (i.e., in case of a parse error) so that the next time
    we call the scanner, all is nicely reset. Without this, the
    behaviour of the next call after an error is unpredictable.  */
-int force_buffer_flush(void);
+void force_buffer_flush(void);
 
 
 #line 48 "parser.y"
diff --git a/MathEval/parser.y b/MathEval/parser.y
index 10db82c2c726d5c90e48f21840fd68320657d078..9b5817bf816afb85f09cfd263e3e5073e291d7ba 100644
--- a/MathEval/parser.y
+++ b/MathEval/parser.y
@@ -40,7 +40,7 @@ int yylex (void);
    prematurely (i.e., in case of a parse error) so that the next time
    we call the scanner, all is nicely reset. Without this, the
    behaviour of the next call after an error is unpredictable.  */
-int force_buffer_flush(void);
+void force_buffer_flush(void);
 
 %}
 
diff --git a/MathEval/scanner.cpp b/MathEval/scanner.cpp
index 004b773591e7d1fe89979046efa110f41e2c559f..16a02842f852e8d7896efa109d4281099b61176a 100644
--- a/MathEval/scanner.cpp
+++ b/MathEval/scanner.cpp
@@ -20,7 +20,7 @@
 /* A lexical scanner generated by flex */
 
 /* Scanner skeleton version:
- * $Header: /cvsroot/gmsh/MathEval/scanner.cpp,v 1.4 2004-05-12 18:57:48 geuzaine Exp $
+ * $Header: /cvsroot/gmsh/MathEval/scanner.cpp,v 1.5 2004-06-04 18:42:10 geuzaine Exp $
  */
 
 #define FLEX_SCANNER
@@ -1705,4 +1705,4 @@ static int input_from_string (char *buffer, int max_size)
   return count;
 }
 
-int force_buffer_flush() { YY_FLUSH_BUFFER; }
+void force_buffer_flush() { YY_FLUSH_BUFFER; }
diff --git a/MathEval/scanner.l b/MathEval/scanner.l
index b060e2b5e142ce04d8c2d89b17cbe1276c499873..bbf69df54892c0676ee05a84ff9fa92287e25cdb 100644
--- a/MathEval/scanner.l
+++ b/MathEval/scanner.l
@@ -125,4 +125,4 @@ static int input_from_string (char *buffer, int max_size)
   return count;
 }
 
-int force_buffer_flush() { YY_FLUSH_BUFFER; }
+void force_buffer_flush() { YY_FLUSH_BUFFER; }