diff options
Diffstat (limited to 'etc/bench.pl.in')
-rwxr-xr-x | etc/bench.pl.in | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/etc/bench.pl.in b/etc/bench.pl.in index 96a92fb6..503ab7b9 100755 --- a/etc/bench.pl.in +++ b/etc/bench.pl.in @@ -581,7 +581,7 @@ sub generate_grammar_list ($$@) or die; print $out <<EOF; %language "C++" -%defines +%header %locations $directives |