From 53040305ce97bd532bd27cf0c2f626136f34a572 Mon Sep 17 00:00:00 2001 From: mathieui Date: Sun, 6 Apr 2014 20:17:01 +0200 Subject: fix a wrong naming in the previous commit --- src/core/core.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'src/core/core.py') diff --git a/src/core/core.py b/src/core/core.py index 079a8515..c1813a7e 100644 --- a/src/core/core.py +++ b/src/core/core.py @@ -429,7 +429,7 @@ class Core(object): res = [] current = [] for char in char_list: - assert len(char) > 0 + assert char # Transform that stupid char into what we actually meant if char == '\x1f': char = '^/' -- cgit v1.2.3