From 13c47d6c4fa7e67533d917242e8f1eab96786b53 Mon Sep 17 00:00:00 2001
From: David Majda <david@majda.cz>
Date: Wed, 14 Sep 2011 10:34:33 +0200
Subject: [PATCH] src/parser.pegjs: Replace "\0" with "\x00"

Fixes the following JSHint error:

  ./src/parser.js: line 2820, col 44, Bad escapement.
---
 src/parser.js    | 2 +-
 src/parser.pegjs | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/src/parser.js b/src/parser.js
index 5b83062..14c1279 100644
--- a/src/parser.js
+++ b/src/parser.js
@@ -2817,7 +2817,7 @@ PEG.parser = (function(){
           pos = pos1;
         }
         if (result0 !== null) {
-          result0 = (function() { return "\0"; })();
+          result0 = (function() { return "\x00"; })();
         }
         if (result0 === null) {
           pos = pos0;
diff --git a/src/parser.pegjs b/src/parser.pegjs
index 1fb607e..414c6c3 100644
--- a/src/parser.pegjs
+++ b/src/parser.pegjs
@@ -294,7 +294,7 @@ simpleEscapeSequence
     }
 
 zeroEscapeSequence
-  = "\\0" !digit { return "\0"; }
+  = "\\0" !digit { return "\x00"; }
 
 hexEscapeSequence
   = "\\x" h1:hexDigit h2:hexDigit {