expansions: fix first_match case

This commit is contained in:
Antoine Martin 2023-03-09 10:26:50 +01:00
parent 382c57923c
commit 77d25d87a1

View file

@ -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;
}