Change EBNF: to <EBNF ... EBNF>

2007-11-28 11:52:17 +13:00 · 2007-11-28 11:52:17 +13:00 · 4f0c40c05a
parent 88e93446b2
commit 4f0c40c05a
1 changed files with 1 additions and 1 deletions
--- a/extra/peg/ebnf/ebnf.factor
+++ b/extra/peg/ebnf/ebnf.factor
@ -117,4 +117,4 @@ DEFER: 'rhs'
    f
   ] if* ;

-: EBNF: ";" parse-tokens "" join ebnf>quot call ; parsing
+: <EBNF "EBNF>" parse-tokens "" join ebnf>quot call ; parsing