| Index: tools/lexer_generator/transition_keys.py
|
| diff --git a/tools/lexer_generator/transition_keys.py b/tools/lexer_generator/transition_keys.py
|
| index 8ddbfb3b073f770ab3740b0d0b331b0345782053..d759a4f5b14f01aa4a3f10a40eef84c0e400a7bd 100644
|
| --- a/tools/lexer_generator/transition_keys.py
|
| +++ b/tools/lexer_generator/transition_keys.py
|
| @@ -195,6 +195,7 @@ class TransitionKey:
|
|
|
| @staticmethod
|
| def disjoint_keys(key_set):
|
| + key_set.discard(TransitionKey.epsilon())
|
| if not key_set:
|
| return []
|
| range_map = {}
|
|
|