diff --git a/tokenize.js b/tokenize.js index 907622e..d04c61d 100755 --- a/tokenize.js +++ b/tokenize.js @@ -310,7 +310,7 @@ function tokenize(tokstream, matchop) { if (deftype) { tokens.push(["deftype", "deftype", charnum, linenum]); tokstream = tokstream.substr(7); - break + break; } var def = peek(tokstream, "def", "def"); if (def) {