Skip to content

Commit 157c562

Browse files
committed
bug with multichars labels fixed
1 parent 2ac2014 commit 157c562

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed

src/Automaton.java

+1-1
Original file line numberDiff line numberDiff line change
@@ -44,7 +44,7 @@ public Automaton(File file) throws IOException {
4444
this.states.add(this.start);
4545

4646
try (BufferedReader automatonBR = new BufferedReader(new FileReader(file))) {
47-
Pattern transitionPattern = Pattern.compile("\\s+(\\d+) -> (\\d+) \\[label = \\\"([a-zA-Z0-9-_])\\\"\\];");
47+
Pattern transitionPattern = Pattern.compile("\\s+(\\d+) -> (\\d+) \\[label = \\\"([a-zA-Z0-9-_]+)\\\"\\];");
4848
Pattern acceptingPattern = Pattern.compile("\\s+(\\d+) \\[peripheries=2\\]");
4949

5050
String line;

0 commit comments

Comments
 (0)