From cc519254c59a6ae5897da8643ef46fd8f8beb453 Mon Sep 17 00:00:00 2001
From: Alexandre Duret-Lutz <adl@lrde.epita.fr>
Date: Mon, 28 Apr 2003 15:58:41 +0000
Subject: [PATCH] * 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.

---
 ChangeLog                | 6 ++++++
 src/ltlparse/Makefile.am | 1 +
 src/ltlparse/ltlscan.ll  | 5 +++++
 3 files changed, 12 insertions(+)

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;
+%}