Closed LenaSaid closed 2 years ago
Fixes the issue where you can't select an expression with only one letter in the name if it contains predecessors or sucessors.
Solves https://bugs.launchpad.net/tapaal/+bug/1986938.
Fixes the issue where you can't select an expression with only one letter in the name if it contains predecessors or sucessors.
Solves https://bugs.launchpad.net/tapaal/+bug/1986938.