From 1f6d21e3bba64e698b0ae5e20754809522837e08 Mon Sep 17 00:00:00 2001
From: Samuel Chassot <samuel.chassot@epfl.ch>
Date: Fri, 14 Mar 2025 14:57:53 +0000
Subject: [PATCH] fix grammar

---
 info/labs/amy-specification/AmySpec.md | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/info/labs/amy-specification/AmySpec.md b/info/labs/amy-specification/AmySpec.md
index 4bb8bd9..538ec03 100644
--- a/info/labs/amy-specification/AmySpec.md
+++ b/info/labs/amy-specification/AmySpec.md
@@ -218,7 +218,7 @@ BinOp ::= + | - | * | / | % | < | <=
 UnaryOp ::= - | !
 
 MatchCase ::= case Pattern => Expr
-Pattern ::= [ Id . ]? Id ( Patterns ) | Id | Literal |
+Pattern ::= [ Id . ]? Id ( Patterns ) | Id | Literal | _
 Patterns ::= ϵ | Pattern [ , Pattern ]∗
 
 Args ::= ϵ | Expr [ , Expr ]∗
-- 
GitLab