|
|
@ -1327,7 +1327,7 @@ function generateJS( ast, options ) { |
|
|
|
|
|
|
|
function generateHeaderComment() { |
|
|
|
|
|
|
|
let comment = "// Generated by PEG.js v0.10.0, https://pegjs.org/"; |
|
|
|
let comment = "// Generated by PEG.js v0.11.0-dev, https://pegjs.org/"; |
|
|
|
const header = options.header; |
|
|
|
|
|
|
|
if ( typeof header === "string" ) { |
|
|
|