From 85581d7c3af561af2ef3b8e837962b5e54f8533c Mon Sep 17 00:00:00 2001
From: Alexandre Duret-Lutz <adl@lrde.epita.fr>
Date: Thu, 15 Apr 2021 16:02:39 +0200
Subject: [PATCH] * spot/twa/twagraph.cc (remove_unused_ap): Remove unused
 variable.

---
 spot/twa/twagraph.cc | 1 -
 1 file changed, 1 deletion(-)

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