From a10475bec0665c33962fca58088d629bada53e8d Mon Sep 17 00:00:00 2001 From: Doug Coleman Date: Sun, 26 Jun 2016 02:06:59 -0700 Subject: [PATCH] gml: fix bad rename. --- libs/gml/parser/parser.factor | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/libs/gml/parser/parser.factor b/libs/gml/parser/parser.factor index 7009f15a49..c6cb4edc7a 100644 --- a/libs/gml/parser/parser.factor +++ b/libs/gml/parser/parser.factor @@ -60,7 +60,7 @@ Digits = Digit+ Sign = ('+' => [[ first ]]|'-' => [[ first ]])? -StopChar = ('('|')'|$['|']'|'{'|'}'|'/'|'/'|';'|':'|'!'|'.') +StopChar = ('('|')'|'['|']'|'{'|'}'|'/'|'/'|';'|':'|'!'|'.') Space = [ \t\n\r] @@ -85,7 +85,7 @@ Name = NameChar+ => [[ >string ]] Comment = ('%' (!(Newline) .)* (Newline|!(.))) => [[ ]] -ArrayStart = $[' => [[ marker ]] +ArrayStart = '[' => [[ marker ]] ArrayEnd = ']' => [[ exec" ]" ]]