ilyakooo0/Idris-dev
1
0
Fork 0
mirror of https://github.com/ilyakooo0/Idris-dev.git synced 2024-09-17 11:47:20 +03:00
Code Issues Projects Releases Wiki Activity

Fix undeclared variable in node runtime

Browse Source
This commit is contained in:
Christophe Calvès 2017-08-01 19:00:45 +02:00
parent 70f172c92a
commit 00efb338ff
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
jsrts/Runtime-node.js
View File

@ -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;
}