From c49870bcf75d25b01515b20cfc2a3b941ac655c9 Mon Sep 17 00:00:00 2001
From: Julian Laubstein <contact@julianlaubstein.de>
Date: Thu, 8 Feb 2018 17:28:51 +0100
Subject: [PATCH] Update json.pest

---
 pest_grammars/src/grammars/json.pest | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/pest_grammars/src/grammars/json.pest b/pest_grammars/src/grammars/json.pest
index aa9b3b1b..7bd55176 100644
--- a/pest_grammars/src/grammars/json.pest
+++ b/pest_grammars/src/grammars/json.pest
@@ -18,7 +18,7 @@ value = { string | number | object | array | bool | null }
 
 string  = @{ "\"" ~ (escape | !("\"" | "\\") ~ any)* ~ "\"" }
 escape  = @{ "\\" ~ ("\"" | "\\" | "/" | "b" | "f" | "n" | "r" | "t" | unicode) }
-unicode = @{ "u" ~ hex ~ hex ~ hex ~ hex }
+unicode = @{ "u" ~ hex{4} }
 hex     = { '0'..'9' | 'a'..'f' | 'A'..'F' }
 
 number = @{ "-"? ~ int ~ ("." ~ '0'..'9'+ ~ exp? | exp)? }