- this.ts.dump(this.ts.cursor -20, this.ts.cursor + 20);
- throw {
- name: "ArgumentError",
- message: "Trying to append symbol '" + _s + "', but no doc available"
- };
-
+
+ //throw {
+ // name: "ArgumentError",
+ // message: "Trying to append symbol '" + _s + "', but no doc available\n" +
+ // this.ts.lookTok(0).toString()
+ //};
+ this.currentDoc = false;
+ return;