Remove useless bench case.

* etc/bench.pl.in (bench_variant_parser): VARIANT_DESTROY is
	no longer used.
This commit is contained in:
Akim Demaille
2008-08-18 22:54:57 +02:00
parent 2722aa42bd
commit 64c1b92a4f
2 changed files with 6 additions and 2 deletions

View File

@@ -1,3 +1,9 @@
2008-11-11 Akim Demaille <demaille@gostai.com>
Remove useless bench case.
* etc/bench.pl.in (bench_variant_parser): VARIANT_DESTROY is
no longer used.
2008-11-11 Akim Demaille <demaille@gostai.com>
Improve display of directives.