Add PEG.js version to "Generated by..." line in generated parsers

13 years ago · 9917f79991
parent aca15d6f36
commit 9917f79991
2 changed files with 2 additions and 2 deletions
--- a/src/emitter.js
+++ b/src/emitter.js
@ -109,7 +109,7 @@ PEG.compiler.emitter = function(ast) {
      return formatCode(
        "(function(){",
-        "  /* Generated by PEG.js (http://pegjs.majda.cz/). */",
+        "  /* Generated by PEG.js @VERSION (http://pegjs.majda.cz/). */",
        "  ",
        "  var result = {",
        "    /*",
--- a/src/parser.js
+++ b/src/parser.js
@ -1,5 +1,5 @@
 PEG.parser = (function(){
-  /* Generated by PEG.js (http://pegjs.majda.cz/). */
+  /* Generated by PEG.js 0.6.0pre (http://pegjs.majda.cz/). */
  var result = {
    /*