From d5bb0ffe89dd2ff87b1b4d6c8c5e6e88452e5584 Mon Sep 17 00:00:00 2001 From: Thomas Badie Date: Tue, 19 Jun 2012 18:26:11 +0200 Subject: [PATCH] Fix a perl warning in `parseout.pl'. * bench/ltl2tgba/parseout.pl: Fix a warning when using an option by shifting the option when there is one. --- bench/ltl2tgba/parseout.pl | 1 + 1 file changed, 1 insertion(+) diff --git a/bench/ltl2tgba/parseout.pl b/bench/ltl2tgba/parseout.pl index bfb1bee50..de62035aa 100755 --- a/bench/ltl2tgba/parseout.pl +++ b/bench/ltl2tgba/parseout.pl @@ -32,6 +32,7 @@ my ($a, $b, $acc, $time, $det, $ndindex); my $prefix = 'All formulae'; $prefix = 'Pos. formulae' if $ARGV[0] eq '-p'; $prefix = 'Neg. formulae' if $ARGV[0] eq '-n'; +shift if $ARGV[0] eq '-n' or $ARGV[0] eq '-p'; sub sep($) {