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