Fixed a bug: the state was renamed in the svg but not in the config
Fixed a bug: the state was renamed in the svg but not in the config

AutoSimDevelopers/automata-simulation,AutoSimDevelopers/automata-simulation,resterle/master-ti-praxis,resterle/master-ti-praxis