max/lean4-htt
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions 2

fix(library/compiler/ir_interpreter): --run ignored first argument

Browse source
This commit is contained in:
Sebastian Ullrich 2019-09-09 16:08:43 +02:00
parent c23e6829c0
commit daae0f67bb
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
src/library/compiler/ir_interpreter.cpp
View file

@ -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]));