From 977d1d20c7738c2f3e364f508cc8122caf4f590b Mon Sep 17 00:00:00 2001
From: David Majda <david@majda.cz>
Date: Sun, 14 Nov 2010 17:14:10 +0100
Subject: [PATCH] Fix wrong version reported by "bin/pegjs --version"

DRY: Now the version is stored only in the VERSION file.
---
 bin/pegjs-main.js | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/bin/pegjs-main.js b/bin/pegjs-main.js
index 36cd0ad..19d8972 100644
--- a/bin/pegjs-main.js
+++ b/bin/pegjs-main.js
@@ -45,7 +45,7 @@ function isOption(arg) {
 }
 
 function printVersion() {
-  print("PEG.js 0.1");
+  print("PEG.js " + PEG.VERSION);
 }
 
 function printHelp() {