From a5ba1f7fdf8168e4df3c0f7d42bff8e10c35f8a0 Mon Sep 17 00:00:00 2001 From: Matthew Butterick Date: Thu, 24 May 2018 18:50:23 -0700 Subject: [PATCH] simplify --- 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 a5ea573..9d25117 100755 --- a/brag/brag/rules/parser.rkt +++ b/brag/brag/rules/parser.rkt @@ -59,7 +59,7 @@ (define hide-char #\/) (define splice-char #\@) -(define id-separators-pattern "((:)|(::=))") +(define id-separators-pattern "(:|::=)") ;; grammar-parser: (-> token) -> (listof rule) (define grammar-parser