alarsyo/spot
1
0
Fork 0
Code Issues Pull requests Projects Releases Wiki Activity

expansions: fix first_match case

Browse source
This commit is contained in:
Antoine Martin 2023-03-09 10:26:50 +01:00
parent bc61b7c30b
commit f37be92903
1 changed files with 2 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

2
spot/tl/expansions.cc
View file

@ -892,6 +892,8 @@ namespace spot
if (is_det) if (is_det)
{ {
for (auto& [_, dest] : res)
dest = formula::first_match(dest);
finalize_new(res, opts, d); finalize_new(res, opts, d);
return res; return res;
} }