expansions: fix first_match case

This commit is contained in:
Antoine Martin 2023-03-09 10:26:50 +01:00
parent 2c4f85f687
commit 564e3af5dd

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