diff --git a/spot/twa/twagraph.cc b/spot/twa/twagraph.cc
index d652fdaa1..960fc26d9 100644
--- a/spot/twa/twagraph.cc
+++ b/spot/twa/twagraph.cc
@@ -709,7 +709,6 @@ namespace spot
   {
     if (ap().empty())
       return;
-    std::set<bdd> conds;
     bdd all = ap_vars();
     for (auto& e: g_.edges())
       {