[PATCH] Remove useless bench case.

[Akim Demaille]

        * etc/bench.pl.in (bench_variant_parser): VARIANT_DESTROY is
        no longer used.
---
 ChangeLog       |    6 ++++++
 etc/bench.pl.in |    2 --
 2 files changed, 6 insertions(+), 2 deletions(-)

diff --git a/ChangeLog b/ChangeLog
index 5e976a7..5e9114d 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,5 +1,11 @@
 2008-11-11  Akim Demaille  <address@hidden>
 
+       Remove useless bench case.
+       * etc/bench.pl.in (bench_variant_parser): VARIANT_DESTROY is
+       no longer used.
+
+2008-11-11  Akim Demaille  <address@hidden>
+
        Improve display of directives.
        * etc/bench.pl.in (parse_term): Don't add useless eol.
 
diff --git a/etc/bench.pl.in b/etc/bench.pl.in
index 9fae4c4..c7bd83f 100755
--- a/etc/bench.pl.in
+++ b/etc/bench.pl.in
@@ -898,8 +898,6 @@ sub bench_variant_parser ()
             &
             [ %d variant
               &
-              [ #d VARIANT_DESTROY ]
-              &
               [ #d ONE_STAGE_BUILD ]
             ]
          )
-- 
1.6.0.2.588.g3102