From 08296c5f604ad40428e642f09fd9b4b479e329cc Mon Sep 17 00:00:00 2001
From: Undecidable Robot <undecidabot@gmail.com>
Date: Mon, 16 May 2016 17:44:55 +0800
Subject: Removing unnecessary pattern from old error detection

---
 relabel.lua | 7 +------
 1 file changed, 1 insertion(+), 6 deletions(-)

(limited to 'relabel.lua')

diff --git a/relabel.lua b/relabel.lua
index 2cdf1ad..0655418 100644
--- a/relabel.lua
+++ b/relabel.lua
@@ -113,15 +113,10 @@ end
 
 local S = (Predef.space + "--" * (any - Predef.nl)^0)^0
 
-local name = m.R("AZ", "az", "__") * m.R("AZ", "az", "__", "09")^0
+local name = m.C(m.R("AZ", "az", "__") * m.R("AZ", "az", "__", "09")^0)
 
 local arrow = S * "<-"
 
-local seq_follow = m.P"/" + ")" + "}" + ":}" + "~}" + "|}" + (name * arrow) + -1
-
-name = m.C(name)
-
-
 -- a defined name only have meaning in a given environment
 local Def = name * m.Carg(1)
 
-- 
cgit v1.2.3-55-g6feb