From d1f7b02d7ce034983ac26e8394efd69aa1114c9d Mon Sep 17 00:00:00 2001
From: blueloveTH <blueloveth@hclcat.games>
Date: Thu, 1 Dec 2022 13:21:10 +0800
Subject: [PATCH] Update builtins.h

---
 src/builtins.h | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/builtins.h b/src/builtins.h
index 45dcb7b3..e53fe19f 100644
--- a/src/builtins.h
+++ b/src/builtins.h
@@ -244,6 +244,7 @@ class FileIO:
 
   def write(self, s):
     assert self.mode == 'w'
+    assert type(s) is str
     jsonrpc({"method": "fwrite", "params": [self.fp, s]})
 
   def close(self):