From da2ccdb2edf1eaba95b2fa94da09c5ebb4bbf254 Mon Sep 17 00:00:00 2001
From: Alexandre Duret-Lutz <adl@lrde.epita.fr>
Date: Wed, 25 Feb 2015 22:40:03 +0100
Subject: [PATCH] * src/tgbaalgos/hoa.cc: Use is_buchi() and is_true().

---
 src/tgbaalgos/hoa.cc | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/src/tgbaalgos/hoa.cc b/src/tgbaalgos/hoa.cc
index d1285a821..4081980ec 100644
--- a/src/tgbaalgos/hoa.cc
+++ b/src/tgbaalgos/hoa.cc
@@ -254,9 +254,9 @@ namespace spot
     unsigned num_acc = aut->acc().num_sets();
     if (aut->acc().is_generalized_buchi())
       {
-	if (num_acc == 0)
+	if (aut->acc().is_true())
 	  os << "acc-name: all";
-	else if (num_acc == 1)
+	else if (aut->acc().is_buchi())
 	  os << "acc-name: Buchi";
 	else
 	  os << "acc-name: generalized-Buchi " << num_acc;