From b1cdab6f95dbea3467e4bd2f3c7c441f86409fd2 Mon Sep 17 00:00:00 2001
From: Alexandre Duret-Lutz <adl@lrde.epita.fr>
Date: Mon, 27 Apr 2015 17:21:26 +0200
Subject: [PATCH] * src/twaalgos/remfin.cc: Fix comment.

---
 src/twaalgos/remfin.cc | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/twaalgos/remfin.cc b/src/twaalgos/remfin.cc
index 347125ab8..fe660399a 100644
--- a/src/twaalgos/remfin.cc
+++ b/src/twaalgos/remfin.cc
@@ -39,7 +39,7 @@ namespace spot
     // this returns the following map:
     //  {1}   => Inf(2)&Inf(4)
     //  {2,3} => Inf(1)
-    //  {}    => Inf(3) | Inf(2)
+    //  {}    => Inf(1)&Inf(3) | Inf(1)&Inf(2)
     //  {4}   => t
     static std::map<acc_cond::mark_t, acc_cond::acc_code>
     split_dnf_acc_by_fin(const acc_cond::acc_code& acc)