From d492e360586c4ff11f5c87d6d4212cdf2bc9bb36 Mon Sep 17 00:00:00 2001 From: Timotej Lazar Date: Wed, 25 Mar 2015 15:35:00 +0100 Subject: Remove unused function from prolog.util --- prolog/util.py | 9 --------- 1 file changed, 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 -- cgit v1.2.1