From 77d25d87a1b1404d5a60eba3d89c1bef73c9968e Mon Sep 17 00:00:00 2001
From: Antoine Martin <amartin@lrde.epita.fr>
Date: Thu, 9 Mar 2023 10:26:50 +0100
Subject: [PATCH] expansions: fix first_match case

---
 spot/tl/expansions.cc | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/spot/tl/expansions.cc b/spot/tl/expansions.cc
index f68fb2d9d..e92a74621 100644
--- a/spot/tl/expansions.cc
+++ b/spot/tl/expansions.cc
@@ -892,6 +892,8 @@ namespace spot
 
             if (is_det)
               {
+                for (auto& [_, dest] : res)
+                  dest = formula::first_match(dest);
                 finalize_new(res, opts, d);
                 return res;
               }