diff --git a/ChangeLog b/ChangeLog
index 7a689712f..8078ad1b0 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,5 +1,7 @@
 2003-06-04  Alexandre Duret-Lutz  <aduret@src.lip6.fr>
 
+	* src/ltlparse/ltlparse.yy (result): Suppress unused definition.
+
 	* src/Makefile.am (SUBDIRS): Build `ltltest' after `.'.
 
 	* src/ltlparse/ltlscan.ll: Use ltlyy as %prefix.
diff --git a/src/ltlparse/ltlparse.yy b/src/ltlparse/ltlparse.yy
index 159375811..e7af364a2 100644
--- a/src/ltlparse/ltlparse.yy
+++ b/src/ltlparse/ltlparse.yy
@@ -4,8 +4,6 @@
 #include "ltlast/allnodes.hh"
 #include "ltlvisit/destroy.hh"
 
-extern spot::ltl::formula* result;
-
 %}
 
 %parse-param {spot::ltl::parse_error_list &error_list}
@@ -27,7 +25,7 @@ extern spot::ltl::formula* result;
 #include "parsedecl.hh"
 using namespace spot::ltl;
 
-/* Ugly hack so that Bison use ltlyylex, not yylex.  
+/* Ugly hack so that Bison uses ltlyylex, not yylex.
    (%name-prefix doesn't work for the lalr1.cc skeleton
    at the time of writing.)  */
 #define yylex ltlyylex