From e5d7ba9e22afb9b412e036a7a43f495552481fcc Mon Sep 17 00:00:00 2001
From: Antoine Martin <amartin@lrde.epita.fr>
Date: Fri, 16 Sep 2022 15:49:56 +0200
Subject: [PATCH] ltl2aa: comment

---
 spot/twaalgos/translate_aa.cc | 1 +
 1 file changed, 1 insertion(+)

diff --git a/spot/twaalgos/translate_aa.cc b/spot/twaalgos/translate_aa.cc
index bd1a1d3de..1fd6e03df 100644
--- a/spot/twaalgos/translate_aa.cc
+++ b/spot/twaalgos/translate_aa.cc
@@ -285,6 +285,7 @@ namespace spot
             bdd vars = bddtrue;
             bdd aps = sere_aut->ap_vars();
             std::vector<unsigned> univ_dest;
+            // TODO: this should be a std::vector<bool> !
             std::vector<unsigned> acc_states;
 
             // registers a state in various maps and returns the index of the