From 9917f799911c99802259fac0172cfd9e955b3d1d Mon Sep 17 00:00:00 2001
From: David Majda <david@majda.cz>
Date: Sat, 2 Apr 2011 10:37:45 +0200
Subject: [PATCH] Add PEG.js version to "Generated by..." line in generated
 parsers

---
 src/emitter.js | 2 +-
 src/parser.js  | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/src/emitter.js b/src/emitter.js
index 64895d5..64a5711 100644
--- 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 = {",
         "    /*",
diff --git a/src/parser.js b/src/parser.js
index 71be1dd..1152176 100644
--- 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 = {
     /*