summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorPeter Wu <peter@lekensteyn.nl>2016-05-07 19:51:03 +0200
committerPeter Wu <peter@lekensteyn.nl>2016-05-07 19:51:03 +0200
commit3ce91e23776716ca376d5afbb11d57e5198c1098 (patch)
tree57f7ab7eb6d7ccde81ca1a133cff7e4c301aec58
parent534f174303fdb928b923d8e8de098b768e8f42ed (diff)
downloadRegexTest-3ce91e23776716ca376d5afbb11d57e5198c1098.tar.gz
Oops, accidentally dropped EXP from priorities
-rw-r--r--grammar.txt4
1 files changed, 2 insertions, 2 deletions
diff --git a/grammar.txt b/grammar.txt
index fe6b235..9487bd1 100644
--- a/grammar.txt
+++ b/grammar.txt
@@ -37,5 +37,5 @@ lexical syntax
context-free priorities
EXP ::= "-" EXP >
- EXP ::= "*" EXP >
- EXP ::= "+" EXP
+ EXP ::= EXP "*" EXP >
+ EXP ::= EXP "+" EXP