Merge remote-tracking branch 'origin/maint'

[bison.git] / etc / bench.pl.in

diff --git a/etc/bench.pl.in b/etc/bench.pl.in
index aaaf143060b73869c8a9e7a632287f9d52df750d..30d0a996e611a3b73acb871c9e45132686b44879 100755 (executable)
--- 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;
 }