Fix undeclared variable in node runtime

idris-lang · Aug 1, 2017 · 00efb33 · 00efb33
1 parent 70f172c
commit 00efb33
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/jsrts/Runtime-node.js b/jsrts/Runtime-node.js
@@ -22,7 +22,7 @@ $JSRTS.prim_readStr = function () {
         }
         i++;
         if (i == b.length) {
-            nb = new Buffer(b.length * 2);
+            var nb = new Buffer(b.length * 2);
             b.copy(nb)
             b = nb;
         }