From 4867413e6900c10ed8aa665ed4249e0ccc535e1f Mon Sep 17 00:00:00 2001
From: Chris Angelico <rosuav@gmail.com>
Date: Wed, 4 Jun 2014 03:26:40 +1000
Subject: [PATCH] Simplify detection of quote characters in
 mp_str_print_quoted.

Once a double quote has been found, the subsequent discovery of a single quote
won't change behaviour at all, so don't bother looking for one.
---
 py/objstr.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/py/objstr.c b/py/objstr.c
index 9ff910637..440f6347e 100644
--- a/py/objstr.c
+++ b/py/objstr.c
@@ -68,7 +68,7 @@ void mp_str_print_quoted(void (*print)(void *env, const char *fmt, ...), void *e
     // this escapes characters, but it will be very slow to print (calling print many times)
     bool has_single_quote = false;
     bool has_double_quote = false;
-    for (const byte *s = str_data, *top = str_data + str_len; (!has_single_quote || !has_double_quote) && s < top; s++) {
+    for (const byte *s = str_data, *top = str_data + str_len; !has_double_quote && s < top; s++) {
         if (*s == '\'') {
             has_single_quote = true;
         } else if (*s == '"') {
-- 
GitLab