From 0f9e8018ead7f9e180210d04cf208ad5e9c485d2 Mon Sep 17 00:00:00 2001 From: Matthew Butterick Date: Fri, 6 May 2016 13:50:01 -0700 Subject: [PATCH] whoops --- brag/brag/rules/parser.rkt | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/brag/brag/rules/parser.rkt b/brag/brag/rules/parser.rkt index a00f44f..d348980 100755 --- a/brag/brag/rules/parser.rkt +++ b/brag/brag/rules/parser.rkt @@ -91,7 +91,7 @@ ;; angles indicate splicing. set splice value to #t [(RULE_HEAD_HIDDEN pattern) (begin - (define trimmed (regexp-match #px"<(.+)>\\s*:$" $1)) + (define trimmed (cadr (regexp-match #px"<(.+)>\\s*:$" $1))) (rule (position->pos $1-start-pos) (position->pos $2-end-pos) (lhs-id (position->pos $1-start-pos)