| Index: tools/lexer_generator/nfa_builder.py
|
| diff --git a/tools/lexer_generator/nfa_builder.py b/tools/lexer_generator/nfa_builder.py
|
| index af170e439c2bc2fa22b314e661c82bcf939fd5aa..0c066d9e8c858d403a6d757df8bbfa2e510da3a3 100644
|
| --- a/tools/lexer_generator/nfa_builder.py
|
| +++ b/tools/lexer_generator/nfa_builder.py
|
| @@ -251,6 +251,7 @@ class NfaBuilder(object):
|
| keys = reduce(f, reachable_states, set())
|
| keys.discard(TransitionKey.epsilon())
|
| keys.discard(catch_all)
|
| + keys.discard(TransitionKey.unique('eos'))
|
| inverse_key = TransitionKey.inverse_key(encoding, keys)
|
| if inverse_key:
|
| transitions[inverse_key] = transitions[catch_all]
|
|
|