* src/tgbaalgos/emptinesscheck.cc (emptiness_check::counter_example):

Remove unused tmp_last, best_lst, and tmp_acc variables.

* src/tgbaalgos/emptinesscheck.cc (emptiness_check::counter_example):
Remove unused tmp_last, best_lst, and tmp_acc variables.
23ed880b · Alexandre Duret-Lutz · feaae8e2 · 23ed880b · 23ed880b
Commit 23ed880b authored Oct 27, 2003 by Alexandre Duret-Lutz
--- a/ChangeLog
+++ b/ChangeLog
+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):

--- 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)