thomasave
/
Lexesis
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Fix minimisation bug with accepting tokens

This commit is contained in:
Robin Jadoul 2016-05-26 15:56:06 +02:00
parent 399a123bef
commit bf8813677a
1 changed files with 3 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
src/automata.cpp
View File

@ -274,9 +274,9 @@ namespace lxs {
}
if (d.accepting.count(a) > 0) {
min.accepting.insert(a);
min.priority[a] = prior;
min.acceptingToken[a] = acTok;
min.accepting.insert(cur);
min.priority[cur] = prior;
min.acceptingToken[cur] = acTok;
}
if (a != deadState) {