From e80c98751d679d736520a1fe0af17c7e80d97782 Mon Sep 17 00:00:00 2001
From: Antoine Martin <amartin@lrde.epita.fr>
Date: Thu, 3 Nov 2022 06:58:21 +0100
Subject: [PATCH] sere_to_tgba: produce state-names

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

diff --git a/spot/twaalgos/ltl2tgba_fm.cc b/spot/twaalgos/ltl2tgba_fm.cc
index 9c7674b0f..838db28be 100644
--- a/spot/twaalgos/ltl2tgba_fm.cc
+++ b/spot/twaalgos/ltl2tgba_fm.cc
@@ -2218,9 +2218,11 @@ namespace spot
     const auto acc_mark = res->set_buchi();
 
     size_t sn = namer->state_to_name.size();
+    auto names = new std::vector<std::string>(sn);
     for (size_t i = 0; i < sn; ++i)
       {
         formula g = namer->state_to_name[i];
+        (*names)[i] = str_psl(g);
         if (g.accepts_eword())
           {
             if (res->get_graph().state_storage(i).succ == 0)
@@ -2233,6 +2235,8 @@ namespace spot
           }
       }
 
+    res->set_named_prop("state-names", names);
+
     return res;
   }
 }