# HG changeset patch
# User Christian Urban <christian.urban@kcl.ac.uk>
# Date 1665402126 -3600
# Node ID fa8cc61dfcf06548ea47477bc8318a4b7bd7e8c1
# Parent  505472b270ebd0b782b7da82f267484d3b710aa7
fixed bug

diff -r 505472b270eb -r fa8cc61dfcf0 progs/automata/enfa.sc
--- 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))