git.iko.soy/Idris-dev
on master help sign in
Merge pull request #3959 from christophe-calves/fix/master/undeclared-variable-in-jsrts
5d37f9cNiklas Larsson
jsrts/Runtime-node.js+1−1
compare with master
unifiedsplit
@@ -22,7 +22,7 @@ $JSRTS.prim_readStr = function () {
22 }
22 }
23 i++;
23 i++;
24 if (i == b.length) {
24 if (i == b.length) {
25− nb = new Buffer(b.length * 2);
25+ var nb = new Buffer(b.length * 2);
26 b.copy(nb)
26 b.copy(nb)
27 b = nb;
27 b = nb;
28 }
28 }