From 23ed880bc8b2c9cd58f93a039dd904732f178616 Mon Sep 17 00:00:00 2001
From: Alexandre Duret-Lutz <adl@lrde.epita.fr>
Date: Mon, 27 Oct 2003 08:58:18 +0000
Subject: [PATCH] * src/tgbaalgos/emptinesscheck.cc
 (emptiness_check::counter_example): Remove unused tmp_last, best_lst, and
 tmp_acc variables.

---
 ChangeLog                       | 5 +++++
 src/tgbaalgos/emptinesscheck.cc | 3 ---
 2 files changed, 5 insertions(+), 3 deletions(-)

diff --git a/ChangeLog b/ChangeLog
index fcc2ea884..8c631fa70 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,8 @@
+2003-10-27  Alexandre Duret-Lutz  <adl@src.lip6.fr>
+
+	* src/tgbaalgos/emptinesscheck.cc (emptiness_check::counter_example):
+	Remove unused tmp_last, best_lst, and tmp_acc variables.
+
 2003-10-24  Alexandre Duret-Lutz  <adl@src.lip6.fr>
 
 	* src/tgbaalgos/emptinesscheck.cc (emptiness_check::counter_example):
diff --git a/src/tgbaalgos/emptinesscheck.cc b/src/tgbaalgos/emptinesscheck.cc
index 18d3e70d5..507f5acab 100644
--- a/src/tgbaalgos/emptinesscheck.cc
+++ b/src/tgbaalgos/emptinesscheck.cc
@@ -293,9 +293,6 @@ namespace spot
     father_map father;
 
     state_sequence seq;
-    state_sequence tmp_lst;
-    state_sequence best_lst;
-    bdd tmp_acc = bddfalse;
 
     state* start_state = aut_->get_init_state();
     if (comp_size != 1)