From e1d4522ca97e199c7c652ec1ca53c87d017e1211 Mon Sep 17 00:00:00 2001
From: Alexandre Duret-Lutz <adl@lrde.epita.fr>
Date: Tue, 18 Nov 2014 18:51:58 +0100
Subject: [PATCH] hoa: fix output

* src/tgbaalgos/hoaf.cc: Do not initialize acc_cond::mark_t with -1U.
---
 src/tgbaalgos/hoaf.cc | 14 ++++++++++----
 1 file changed, 10 insertions(+), 4 deletions(-)

diff --git a/src/tgbaalgos/hoaf.cc b/src/tgbaalgos/hoaf.cc
index 09c4ab202..7f11f2260 100644
--- a/src/tgbaalgos/hoaf.cc
+++ b/src/tgbaalgos/hoaf.cc
@@ -107,7 +107,8 @@ namespace spot
 	  {
 	    auto src = todo.front();
 	    todo.pop_front();
-	    acc_cond::mark_t prev = -1U;
+	    bool notfirst = false;
+	    acc_cond::mark_t prev = 0U;
 	    bool st_acc = true;
 	    bdd sum = bddfalse;
 	    bdd available = bddtrue;
@@ -137,10 +138,15 @@ namespace spot
 		if (st_acc)
 		  {
 		    acc_cond::mark_t acc = i->current_acceptance_conditions();
-		    if (prev != -1U && prev != acc)
-		      st_acc = false;
+		    if (notfirst && prev != acc)
+		      {
+			st_acc = false;
+		      }
 		    else
-		      prev = acc;
+		      {
+			notfirst = true;
+			prev = acc;
+		      }
 		  }
 	      }
 	    if (is_complete)