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)