alarsyo/spot
1
0
Fork 0
Code Issues Pull requests Projects Releases Wiki Activity

sonf: fix recursion of rewriting, was only called on operand

Browse source 
* spot/tl/sonf.cc: Here.
This commit is contained in:
Antoine Martin 2025-10-10 16:49:34 +02:00
parent c5746ef5cf
commit 59cfd6ed17
1 changed files with 1 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

2
spot/tl/sonf.cc
View file

@ -131,7 +131,7 @@ namespace spot
{ {
// recurse into rhs first (_ []-> rhs) // recurse into rhs first (_ []-> rhs)
formula 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); f = formula::binop(kind, f[0], rhs);
formula ap = formula::ap(new_ap_name()); formula ap = formula::ap(new_ap_name());