From 03c3a7dec784d695bdced9b3e2afb9ee084728ef Mon Sep 17 00:00:00 2001
From: Ian Walker <yasny.jp@gmail.com>
Date: Thu, 13 Jul 2017 10:52:24 +0900
Subject: [PATCH] Fix DIGITS token so it does not accept leading 0

---
 jbossply/jbossparser.py | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/jbossply/jbossparser.py b/jbossply/jbossparser.py
index b9dce65..3747b6f 100644
--- a/jbossply/jbossparser.py
+++ b/jbossply/jbossparser.py
@@ -118,7 +118,7 @@ def t_ANY_error(self, t):
     t_NULL = r'\x6e\x75\x6c\x6c'  # 'null'
     t_UNDEFINED = r'undefined'  # 'null'
     t_DECIMAL_POINT = r'\x2E'  # '.'
-    t_DIGITS = r'[\x30-\x39]+'  # '0'..'9'
+    t_DIGITS = r'[\x31-\x39][\x30-\x39]*'  # ['1'-'9']['0'-'9']*
     t_E = r'[\x45\x65]'  # 'e' or 'E'
     t_MINUS = r'\x2D'  # '-'
     t_PLUS = r'\x2B'  # '+'