remove unnecessary port flush

2016-07-09 11:27:00 +09:00 · 2016-07-09 11:27:00 +09:00 · e792d9ffd1
parent f368eb390d
commit e792d9ffd1
1 changed files with 1 additions and 1 deletions
--- 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;