Closed mtygesen closed 6 months ago
Fixes slow loading of example net in: https://bugs.launchpad.net/tapaal/+bug/2033062
Fixes slow loading of example net in: https://bugs.launchpad.net/tapaal/+bug/2033062