From 4f0c40c05a191b03dc7d3df4bc0978ddebfd91bd Mon Sep 17 00:00:00 2001
From: Chris Double <chris.double@double.co.nz>
Date: Wed, 28 Nov 2007 11:52:17 +1300
Subject: [PATCH] Change EBNF: to <EBNF ... EBNF>

---
 extra/peg/ebnf/ebnf.factor | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/extra/peg/ebnf/ebnf.factor b/extra/peg/ebnf/ebnf.factor
index 5061e9ee3c..8726581488 100644
--- 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
\ No newline at end of file
+: <EBNF "EBNF>" parse-tokens "" join ebnf>quot call ; parsing
\ No newline at end of file