From daae0f67bbcdbff5357a765dd976e3759b28d5d8 Mon Sep 17 00:00:00 2001
From: Sebastian Ullrich <sebasti@nullri.ch>
Date: Mon, 9 Sep 2019 16:08:43 +0200
Subject: [PATCH] fix(library/compiler/ir_interpreter): --run ignored first
 argument

---
 src/library/compiler/ir_interpreter.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/library/compiler/ir_interpreter.cpp b/src/library/compiler/ir_interpreter.cpp
index 25350cde67..fda95f92d5 100644
--- a/src/library/compiler/ir_interpreter.cpp
+++ b/src/library/compiler/ir_interpreter.cpp
@@ -682,7 +682,7 @@ public:
         if (params.size() == 2) { // List String -> IO UInt32
             lean_object * in = lean_box(0);
             int i = argc;
-            while (i > 1) {
+            while (i > 0) {
                 i--;
                 lean_object * n = lean_alloc_ctor(1, 2, 0);
                 lean_ctor_set(n, 0, lean_mk_string(argv[i]));