From 89aff72523d348625309ad73ce704ae89c6be5e8 Mon Sep 17 00:00:00 2001 From: Alexandre Duret-Lutz Date: Thu, 29 Sep 2005 13:22:17 +0000 Subject: [PATCH] * src/ltlparse/ltlparse.yy (result): Do not assign to $$, it's useless. Suggested by Akim. --- ChangeLog | 3 +++ src/ltlparse/ltlparse.yy | 8 ++++---- 2 files changed, 7 insertions(+), 4 deletions(-) diff --git a/ChangeLog b/ChangeLog index 6d711471a..31b1172bf 100644 --- a/ChangeLog +++ b/ChangeLog @@ -1,5 +1,8 @@ 2005-09-29 Alexandre Duret-Lutz + * src/ltlparse/ltlparse.yy (result): Do not assign to $$, it's useless. + Suggested by Akim. + * src/tgbatest/randtgba.cc: New option -H. * src/tgbaalgos/emptiness_stats.hh (unsigned_statistics_copy): New class. diff --git a/src/ltlparse/ltlparse.yy b/src/ltlparse/ltlparse.yy index f487834f4..a25bfc78e 100644 --- a/src/ltlparse/ltlparse.yy +++ b/src/ltlparse/ltlparse.yy @@ -115,24 +115,24 @@ using namespace spot::ltl; %% result: subformula END_OF_INPUT - { result = $$ = $1; + { result = $1; YYACCEPT; } | error END_OF_INPUT { error_list.push_back(parse_error(@1, "could not parse anything sensible")); - result = $$ = 0; + result = 0; YYABORT; } | subformula error END_OF_INPUT { error_list.push_back(parse_error(@2, "ignoring trailing garbage")); - result = $$ = $1; + result = $1; YYACCEPT; } | END_OF_INPUT { error_list.push_back(parse_error(@$, "empty input")); - result = $$ = 0; + result = 0; YYABORT; }