--- a/progs/automata/enfa.sc Sun Oct 09 21:39:08 2022 +0100 +++ b/progs/automata/enfa.sc Mon Oct 10 12:42:06 2022 +0100 @@ -66,4 +66,4 @@ val nfa2 = - eNFA(Set[State](R1), enfa_trans1, Set[State](R3)) + eNFA(Set[State](R1), enfa_trans2, Set[State](R3))