...

akissinger · May 1, 2023 · 54aee9f · 54aee9f
1 parent 964eb28
commit 54aee9f
Showing 1 changed file with 1 addition and 2 deletions.
diff --git a/README.md b/README.md
@@ -131,12 +131,11 @@ par : par_term "*" par_term
 seq : term ";" term
 perm : "sw" [ "[" num ("," num)* "]" ]
 id : "id"
+term_hole : term | "?"
 
 num : INT
 var : IDENTIFIER
 term_ref : IDENTIFIER
 rule_ref : IDENTIFIER
-term_hole : term | "?"
-
 
 ```