diff options
author | Timotej Lazar <timotej.lazar@araneo.org> | 2015-03-25 15:35:00 +0100 |
---|---|---|
committer | Aleš Smodiš <aless@guru.si> | 2015-08-11 14:26:03 +0200 |
commit | d492e360586c4ff11f5c87d6d4212cdf2bc9bb36 (patch) | |
tree | ddb4d564bf95af12b44bdd11340b86485706ff9a | |
parent | ee098e3ec03b58053ae491c68e6e74111f105612 (diff) |
Remove unused function from prolog.util
-rw-r--r-- | prolog/util.py | 9 |
1 files changed, 0 insertions, 9 deletions
diff --git a/prolog/util.py b/prolog/util.py index e9c1811..83a3ade 100644 --- a/prolog/util.py +++ b/prolog/util.py @@ -54,15 +54,6 @@ def stringify(tokens): return str(t) return ''.join(map(token_str, tokens)) -# Yield the sequence of rules in [code]. -def split(code): - tokens = tokenize(code) - start = 0 - for idx, token in enumerate(tokens): - if token.type == 'PERIOD' and idx - start > 1: - yield stringify(tokens[start:idx]) - start = idx + 1 - # Lex [code] into tokens with rule indexes and stop markers. def annotate(code): rule = 0 |