diff --git a/parse.js b/parse.js index 225e140..9b59852 100755 --- a/parse.js +++ b/parse.js @@ -1,4 +1,4 @@ -#! /usr/bin/node +#! /usr/bin/nodejs var typ = require("./representation.js"); var tool = require("./tools.js"); @@ -76,7 +76,7 @@ function parseDef(tokens) { } else { var identifier = parse(tokens); - if (!notFollowedBy(tokens, ["def", "comma", "left_paren", "arrow", "right_brace", "right_square"])) { + if (!notFollowedBy(tokens, ["def", "comma", "arrow", "right_brace", "right_square"])) { console.log("Error: def " + identifier.val + " must not be followed by " + fst(tokens)[0]); return; }