Bugfix (adding distributions to a SingularAutomaton): don't add transitions to...

Bugfix (adding distributions to a SingularAutomaton): don't add transitions to the predecessor of the root location

(cherry picked from commit f424e983)

Merge request reports

Loading