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

Do not visit a state more than once.  Report from Soheib Baarir.

ChangeLog

+2004-04-05  Alexandre Duret-Lutz  <adl@src.lip6.fr>
+
+	* src/tgbaalgos/emptinesscheck.cc (emptiness_check::complete_cycle):
+	Do not visit a state more than once.  Report from Soheib Baarir.
+
 2004-03-25  Alexandre Duret-Lutz  <adl@src.lip6.fr>
 
 	* src/tgbaalgos/ltl2tgba_fm.cc (translate_dict): Reuse Acc and Var

src/tgbaalgos/emptinesscheck.cc

@@ -616,8 +616,8 @@ namespace spot
 	  {
 	    const state* dest = i->current_state();
 
-	    // Do not escape this SCC.
-	    if (!scc.has_state(dest))
+	    // Do not escape this SCC or visit a state already visited.
+	    if (!scc.has_state(dest) || father.find(dest) != father.end())
 	      {
 		delete dest;
 		continue;