diff options
Diffstat (limited to 'etc/bench.pl.in')
| -rwxr-xr-x | etc/bench.pl.in | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/etc/bench.pl.in b/etc/bench.pl.in index aaaf1430..30d0a996 100755 --- a/etc/bench.pl.in +++ b/etc/bench.pl.in @@ -204,9 +204,9 @@ Format the list of directives for Bison for bench named C<$bench>. sub directives($@) { my ($bench, @directive) = @_; - my $res = "/* Directives for bench `$bench'. */\n"; + my $res = "/* Directives for bench '$bench'. */\n"; $res .= join ("\n", @directive) . "\n"; - $res .= "/* End of directives for bench `$bench'. */\n"; + $res .= "/* End of directives for bench '$bench'. */\n"; return $res; } |