From 87c99cb38fa7f63cbf8f472b9b56ea577022f2f5 Mon Sep 17 00:00:00 2001
From: Antoine Martin <amartin@lrde.epita.fr>
Date: Fri, 16 Sep 2022 03:40:22 +0200
Subject: [PATCH] ltl2aa: fix two bugs in SERE aut merge

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

diff --git a/spot/twaalgos/translate_aa.cc b/spot/twaalgos/translate_aa.cc
index c82b81564..daf9126cb 100644
--- a/spot/twaalgos/translate_aa.cc
+++ b/spot/twaalgos/translate_aa.cc
@@ -73,6 +73,7 @@ namespace spot
 
       unsigned copy_sere_aut_to_res(twa_graph_ptr sere_aut)
       {
+        aut_->copy_ap_of(sere_aut);
         std::map<unsigned, unsigned> old_to_new;
         auto register_state = [&](unsigned st) -> unsigned {
           auto p = old_to_new.emplace(st, 0);
@@ -340,6 +341,7 @@ namespace spot
                                               univ_dest.end()));
 
                     aut_->new_edge(src, dst, cond, {});
+                    univ_dest.clear();
                   }
               }