Revert "Fix typo in symbol"

freespek / solarkraft

Solakraft: a runtime monitoring tool for Soroban, powered by TLA+ and Apalache

Apache License 2.0

10 stars 0 forks source link

Closed thpani closed 1 month ago

thpani commented 1 month ago

Reverts freespek/solarkraft#70 Turns out there was no typo. Symbols have to be at most 9 characters.