Closed LenaSaid closed 2 years ago
Solves https://bugs.launchpad.net/tapaal/+bug/1987264.
Also solves the problem where adding a succ/pred to a tuple would add it after the tuple, like
(x, i)++
Instead of on the selection, like
(x++, i)
Solves https://bugs.launchpad.net/tapaal/+bug/1987264.
Also solves the problem where adding a succ/pred to a tuple would add it after the tuple, like
(x, i)++
Instead of on the selection, like
(x++, i)