diff --git a/ChangeLog b/ChangeLog
index 5e976a75..5e9114d0 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -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.
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
@@ -897,8 +897,6 @@ sub bench_variant_parser ()
             [ %debug ]
             &
             [ %d variant
-              &
-              [ #d VARIANT_DESTROY ]
               &
               [ #d ONE_STAGE_BUILD ]
             ]