diff options
author | Daniel Friesel <daniel.friesel@uos.de> | 2019-12-12 08:08:43 +0100 |
---|---|---|
committer | Daniel Friesel <daniel.friesel@uos.de> | 2019-12-12 08:08:43 +0100 |
commit | c87b4df4ef7d138d80768951a06107c3b66f46ab (patch) | |
tree | 3c415fc36f10f7b2dfb418a8b6ab58c67af78d07 /.gitignore | |
parent | eedaeb712c41686f79f5c7f096265a929a079114 (diff) |
automata.State: improve error message on missing transition
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions