2 files changed, 6 insertions, 2 deletions
diff --git a/ChangeLog b/ChangeLog
index 5e976a75..5e9114d0 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,5 +1,11 @@
 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.
 	* etc/bench.pl.in (parse_term): Don't add useless eol.
 
diff --git a/etc/bench.pl.in b/etc/bench.pl.in
index 9fae4c4a..c7bd83f2 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 ]
             ]
          )