From d537c1495e29498ce85b1ba4591c4c3a55c354d5 Mon Sep 17 00:00:00 2001
From: Samuel Chassot <samuel.chassot@epfl.ch>
Date: Tue, 4 Mar 2025 15:10:31 +0100
Subject: [PATCH] missing _ in Amy specs

---
 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 6d58db0..4bb8bd9 100644
--- a/info/labs/amy-specification/AmySpec.md
+++ b/info/labs/amy-specification/AmySpec.md
@@ -230,7 +230,7 @@ Figure 2: Lexical rules for Amy
 IntLiteral ::= Digit+
 
 Id ::= Alpha AlphaNum∗ (and not a reserved word)
-AlphaNum ::= Alpha | Digit |
+AlphaNum ::= Alpha | Digit | _
 Alpha ::= [a-z] | [A-Z]
 Digit ::= [0-9]
 
-- 
GitLab