From caca8728fe1fac6e342173cec7d044b706a4e026 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 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())
       {