From 27816ea4385cc9b3b33c50a8e5402b8a9f40d58e Mon Sep 17 00:00:00 2001
From: Florian Renkin <frenkin@lrde.epita.fr>
Date: Sat, 3 Sep 2022 14:04:41 +0200
Subject: [PATCH] synthesis: Fix for implication decomposition

* spot/twaalgos/synthesis.cc: here
---
 spot/twaalgos/synthesis.cc | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/spot/twaalgos/synthesis.cc b/spot/twaalgos/synthesis.cc
index 6fb126ff8..e1e4e1780 100644
--- a/spot/twaalgos/synthesis.cc
+++ b/spot/twaalgos/synthesis.cc
@@ -1737,7 +1737,7 @@ namespace // anonymous for subsformula
         std::vector<formula> children;
         for (auto fi : f)
           children.push_back(
-            extract_and(fi, outs, can_extract_impl, form2props));
+            extract_and(fi, outs, false, form2props));
         return formula::And(children);
       }
     if (f.is(op::Not))