Closed srba closed 1 year ago
Fixing variable index bug https://bugs.launchpad.net/tapaal/+bug/2030270
Fixing variable index bug https://bugs.launchpad.net/tapaal/+bug/2030270