From 3693bbab0805dab77a9fca88ed600a029744c319 Mon Sep 17 00:00:00 2001
From: Alexandre Duret-Lutz <adl@lrde.epita.fr>
Date: Tue, 20 Aug 2024 16:52:27 +0200
Subject: [PATCH] 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.
---
 spot/twaalgos/synthesis.cc | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/spot/twaalgos/synthesis.cc b/spot/twaalgos/synthesis.cc
index 3c93137dc..6b5fa7af9 100644
--- a/spot/twaalgos/synthesis.cc
+++ b/spot/twaalgos/synthesis.cc
@@ -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);