diff --git a/ChangeLog b/ChangeLog
index 6824c5e8c..78bb17b9a 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,9 @@
+2003-04-28  Alexandre DURET-LUTZ  <aduret@src.lip6.fr>
+
+	* src/ltlparse/Makefile.am (CXXFLAGS): Turn on GCC warnings
+	now that CVS Bison is fixed.
+	* src/ltlparse/ltlscan.ll: Use yyunput to shut up a GCC warning.
+
 2003-04-24  Rachid REBIHA  <rebiha@nyx>
 
 	* src/ltltest/tostring.test: New file.
diff --git a/src/ltlparse/Makefile.am b/src/ltlparse/Makefile.am
index edd2bfc66..082b710a7 100644
--- a/src/ltlparse/Makefile.am
+++ b/src/ltlparse/Makefile.am
@@ -1,4 +1,5 @@
 AM_CPPFLAGS = -I$(srcdir)/..
+AM_CXXFLAGS = $(WARNING_CXXFLAGS)
 
 lib_LIBRARIES = libltlparse.a
 
diff --git a/src/ltlparse/ltlscan.ll b/src/ltlparse/ltlscan.ll
index 9fe78ae2d..0606b33ea 100644
--- a/src/ltlparse/ltlscan.ll
+++ b/src/ltlparse/ltlscan.ll
@@ -70,3 +70,8 @@ flex_set_buffer(const char *buf)
 .		return *yytext;
 
 <<EOF>>		return END_OF_INPUT;
+
+%{
+  /* Dummy use of yyunput to shut up a gcc warning.  */
+  (void) &yyunput;
+%}