From b8bb100521a41836e9f6b80196a434053e362e46 Mon Sep 17 00:00:00 2001 From: Alexandre Duret-Lutz Date: Wed, 4 Jun 2003 14:33:34 +0000 Subject: [PATCH] * src/ltlparse/ltlparse.yy (result): Suppress unused definition. --- ChangeLog | 2 ++ src/ltlparse/ltlparse.yy | 4 +--- 2 files changed, 3 insertions(+), 3 deletions(-) diff --git a/ChangeLog b/ChangeLog index 7a689712f..8078ad1b0 100644 --- a/ChangeLog +++ b/ChangeLog @@ -1,5 +1,7 @@ 2003-06-04 Alexandre Duret-Lutz + * 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