From 272ddc02283f9aa01546687f46284e1bd8eb728d Mon Sep 17 00:00:00 2001
From: vsc <vsc@dcc.fc.up.pt>
Date: Tue, 21 Feb 2017 14:34:34 -0800
Subject: [PATCH] bad merge :(

---
 C/write.c | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/C/write.c b/C/write.c
index 0a4a1fb97..b84b0a14d 100644
--- a/C/write.c
+++ b/C/write.c
@@ -571,9 +571,10 @@ static void write_string(const unsigned char *s,
 
     if (chr == '\0') {
       break;
+    }
     if (delta == 0) {chr = *ptr++; }
     write_quoted(chr, qt, stream);
-  } while (TRUE);
+  } while (true);
   wrputc(qt, stream);
 }