From 59cfd6ed17a18c3371b23dd07b7aad1b5bc9752e Mon Sep 17 00:00:00 2001
From: Antoine Martin <amartin@lrde.epita.fr>
Date: Fri, 10 Oct 2025 16:49:34 +0200
Subject: [PATCH] sonf: fix recursion of rewriting, was only called on operand

* spot/tl/sonf.cc: Here.
---
 spot/tl/sonf.cc | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/spot/tl/sonf.cc b/spot/tl/sonf.cc
index 29b613eaa..0b70ab5e3 100644
--- a/spot/tl/sonf.cc
+++ b/spot/tl/sonf.cc
@@ -131,7 +131,7 @@ namespace spot
           {
             // recurse into rhs first (_ []-> rhs)
             formula rhs =
-              f[1].map(extractor, extracted, extractor, false, false);
+              extractor(f[1], extracted, extractor, false, false);
             f = formula::binop(kind, f[0], rhs);
 
             formula ap = formula::ap(new_ap_name());