diff --git a/README.md b/README.md index 06e0295..b6302fa 100644 --- 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 | "?" - ```