From 9e44cc113c772109e71cbac1a5fe02a8ec4ca3a2 Mon Sep 17 00:00:00 2001
From: Undecidable Robot <undecidabot@gmail.com>
Date: Sat, 20 Aug 2016 00:53:53 +0800
Subject: Updating re grammar so only one label can be thrown

---
 relabel.lua | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

(limited to 'relabel.lua')

diff --git a/relabel.lua b/relabel.lua
index 9fc4b01..cda24d0 100644
--- a/relabel.lua
+++ b/relabel.lua
@@ -322,7 +322,9 @@ local exp = m.P{ "Exp",
               labels["MisTerm1"], labels["MisTerm2"])
           + m.Lc(Class, pointAtStart, labels["MisClose8"])
           + defined
-          + "%" * expect(m.V"Labels", "ExpNameOrLab") / mm.T
+          + "%" * expect(m.P"{", "ExpNameOrLab")
+            * expect(S * m.V"Label", "ExpLab1")
+            * expect(S * "}", "MisClose7") / mm.T
           + "{:" * (name * ":" + m.Cc(nil)) * expect(m.V"Exp", "ExpPatt5")
             * expect(S * ":}", "MisClose2")
             / function (n, p) return mm.Cg(p, n) end
-- 
cgit v1.2.3-55-g6feb