From 64c1b92a4ffa5cf94abe334fcb27610e5e47352b Mon Sep 17 00:00:00 2001
From: Akim Demaille <demaille@gostai.com>
Date: Mon, 18 Aug 2008 22:54:57 +0200
Subject: [PATCH] Remove useless bench case.

	* 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 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 ]
             ]
-- 
2.45.2