From e792d9ffd1b7af12df6a94b93d46d17343b72bc8 Mon Sep 17 00:00:00 2001
From: Yuichi Nishiwaki <yuichi.nishiwaki@gmail.com>
Date: Sat, 9 Jul 2016 11:27:00 +0900
Subject: [PATCH] remove unnecessary port flush

---
 extlib/benz/port.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/extlib/benz/port.c b/extlib/benz/port.c
index bdb065c0..6a68ad43 100644
--- a/extlib/benz/port.c
+++ b/extlib/benz/port.c
@@ -245,7 +245,7 @@ pic_fgets(pic_state *pic, char *s, int size, pic_value port)
   int c = 0;
   char *buf;
 
-  pic_fflush(pic, pic_false_value(pic));
+  pic_fflush(pic, port);
 
   if (size == 0) {
     return NULL;