From 9097eca81d858cb9ab79deeba7ead8a1c38d471c Mon Sep 17 00:00:00 2001
From: Alexandre Duret-Lutz <adl@lrde.epita.fr>
Date: Fri, 5 Nov 2021 10:45:07 +0100
Subject: [PATCH] * spot/twaalgos/ltl2tgba_fm.cc: Update some comments.

---
 spot/twaalgos/ltl2tgba_fm.cc | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/spot/twaalgos/ltl2tgba_fm.cc b/spot/twaalgos/ltl2tgba_fm.cc
index 55dc2bddb..9ad149c1c 100644
--- a/spot/twaalgos/ltl2tgba_fm.cc
+++ b/spot/twaalgos/ltl2tgba_fm.cc
@@ -531,7 +531,6 @@ namespace spot
     class ratexp_trad_visitor final
     {
     public:
-      // negated should only be set for constants or atomic properties
       ratexp_trad_visitor(translate_dict& dict, formula to_concat = nullptr)
         : dict_(dict), to_concat_(to_concat)
       {
@@ -720,7 +719,7 @@ namespace spot
                         {
                           if (!tail_computed)
                             {
-                              tail_bdd = recurse(f); // FIXME: inf call!!!
+                              tail_bdd = recurse(f);
                               tail_computed = true;
                             }
                           res |= label & tail_bdd;
@@ -1076,7 +1075,8 @@ namespace spot
         }
     }
 
-    // FIXME: use the new tgba::succ() interface
+    // FIXME: use the new twa_graph_ptr interface
+    // with unsigned instead of state*.
     std::tuple<const_twa_graph_ptr,
                const ratexp_to_dfa::namer*,
                const state*>