unicode: String API is const byte*.

We still have that char vs byte dichotomy, but majority of string operations
now use byte.

1 files changed, 2 insertions, 2 deletions

diff --git a/py/lexer.c b/py/lexer.c
index 26993922e..a65df54ba 100644
--- a/py/lexer.c
+++ b/py/lexer.c
@@ -83,8 +83,8 @@ bool str_strn_equal(const char *str, const char *strn, int len) {
 void mp_token_show(const mp_token_t *tok) {
     printf("(%d:%d) kind:%d str:%p len:%d", tok->src_line, tok->src_column, tok->kind, tok->str, tok->len);
     if (tok->str != NULL && tok->len > 0) {
-        const char *i = tok->str;
-        const char *j = i + tok->len;
+        const byte *i = (const byte *)tok->str;
+        const byte *j = (const byte *)i + tok->len;
         printf(" ");
         while (i < j) {
             unichar c = utf8_get_char(i);