incorrect PSL sugaring
Formula {(!b)[*3];b}!
is wrongly printed as {b[->]}!
. The latter should be sugar for {(!b)[*];b}!
.
This issue seems similar to #558 (closed), except that it occurs while printing the formula.
Formula {(!b)[*3];b}!
is wrongly printed as {b[->]}!
. The latter should be sugar for {(!b)[*];b}!
.
This issue seems similar to #558 (closed), except that it occurs while printing the formula.