summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorTimotej Lazar <timotej.lazar@araneo.org>2015-03-25 15:35:00 +0100
committerAleš Smodiš <aless@guru.si>2015-08-11 14:26:03 +0200
commitd492e360586c4ff11f5c87d6d4212cdf2bc9bb36 (patch)
treeddb4d564bf95af12b44bdd11340b86485706ff9a
parentee098e3ec03b58053ae491c68e6e74111f105612 (diff)
Remove unused function from prolog.util
-rw-r--r--prolog/util.py9
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