From 983d7e046a9aada23ba49c8ca7ed6dfabbb613f4 Mon Sep 17 00:00:00 2001
From: Antoine Martin <amartin@lrde.epita.fr>
Date: Thu, 13 Mar 2025 08:47:41 +0100
Subject: [PATCH] expansions: remove unused lambda capture

---
 spot/tl/expansions2.cc | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/spot/tl/expansions2.cc b/spot/tl/expansions2.cc
index d80e5ffa3..96f970a94 100644
--- a/spot/tl/expansions2.cc
+++ b/spot/tl/expansions2.cc
@@ -540,7 +540,7 @@ namespace spot
         return {{f_bdd, formula::eword()}};
       }
 
-    auto rec = [&d, owner, opts, seen](formula f){
+    auto rec = [&d, owner, seen](formula f){
       return expansion2(f, d, owner, exp_opts::None, seen);
     };