synthesis: rewrite a C++20 construct into C++17

It is illegal to capture the element of a structured binding
in C++17, GCC 15 will complain about it.

* spot/twaalgos/synthesis.cc: Move the illegal structured binding
inside the lambda.
This commit is contained in:
Alexandre Duret-Lutz 2024-08-20 16:52:27 +02:00
parent a0a6ec6794
commit 3693bbab08

View file

@ -1276,11 +1276,10 @@ namespace spot
{
current_in = bddtrue;
auto& [plyconddict, plycondvect] = plystatedict;
auto fvisitInTrav
= [&](const bdd& ccond) -> void
{
auto& [plyconddict, plycondvect] = plystatedict;
int clvl = bdd_var(ccond);
assert(clvl >= inIdx);