1 files changed, 1 insertions, 1 deletions
diff --git a/main.c b/main.c
index 0d32cb0b..2d022bb3 100644
--- a/main.c
+++ b/main.c
@@ -154,7 +154,7 @@ const char** input_filenames = NULL;
 int ninput_files;
 int next_input_idx;
 static int read_more(char* buf, size_t size) {
-  while (!current_input || feof(current_input)) {
+  if (!current_input || feof(current_input)) {
     if (current_input) {
       if (current_input == stdin) {
         clearerr(stdin); // perhaps we can read again; anyways, we don't fclose(stdin)