From c7f98fd7f7921dff3037ad452ea48767725fe76c Mon Sep 17 00:00:00 2001
From: Alexandre Duret-Lutz <adl@lrde.epita.fr>
Date: Sat, 6 Sep 2014 11:15:45 +0200
Subject: [PATCH] hoaf: rename I(i) as Inf(i).

We just changed the format specification today.

* src/tgbaalgos/hoaf.cc: Here.
* NEWS: mention it.
---
 NEWS                  | 2 ++
 src/tgbaalgos/hoaf.cc | 4 ++--
 2 files changed, 4 insertions(+), 2 deletions(-)

diff --git a/NEWS b/NEWS
index d824666c4..453650ec5 100644
--- a/NEWS
+++ b/NEWS
@@ -14,6 +14,8 @@ New in spot 1.2.5a (not yet released)
       this was not the case.
     - the neverclaim parser will now diagnose redefinitions of
       state labels.
+    - the acceptance specification in the HOA format output have been
+      adjusted to match recent changes in the format specifications.
 
 New in spot 1.2.5 (2014-08-21)
 
diff --git a/src/tgbaalgos/hoaf.cc b/src/tgbaalgos/hoaf.cc
index 80eb8f3fe..152d5e506 100644
--- a/src/tgbaalgos/hoaf.cc
+++ b/src/tgbaalgos/hoaf.cc
@@ -278,9 +278,9 @@ namespace spot
     os << "Acceptance: " << num_acc;
     if (num_acc > 0)
       {
-	os << " I(0";
+	os << " Inf(0";
 	for (unsigned i = 1; i < num_acc; ++i)
-	  os << ")&I(" << i;
+	  os << ")&Inf(" << i;
 	os << ')';
       }
     else