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