diff options
author | Timotej Lazar <timotej.lazar@araneo.org> | 2014-11-17 12:32:19 +0100 |
---|---|---|
committer | Aleš Smodiš <aless@guru.si> | 2015-08-11 14:26:00 +0200 |
commit | 770f1ed8f7aeeb52db483dd72a5d4712839f9760 (patch) | |
tree | b56f82f43ac9fbad716b4092b96029a406fc5dc6 /prolog/engine.py | |
parent | a4f46cfe3e2c8b1307df396c6c8c37b4f61a59bd (diff) |
Keep token positions when lexing
This will allow us to match line edits to original source locations.
Diffstat (limited to 'prolog/engine.py')
-rwxr-xr-x | prolog/engine.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/prolog/engine.py b/prolog/engine.py index 6087bbc..299d2eb 100755 --- a/prolog/engine.py +++ b/prolog/engine.py @@ -139,7 +139,7 @@ class PrologEngine(object): try: start = 0 for idx in range(len(tokens)): - if tokens[idx] != ('PERIOD', '.') or idx - start <= 1: + if tokens[idx].type != 'PERIOD' or idx - start <= 1: continue rule = stringify(tokens[start:idx]) orig_rule = rule |