Update ast_ebnf.md

hacspec · Dec 3, 2024 · 0d12b3d · 0d12b3d
1 parent 5abc947
commit 0d12b3d
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/book/src/contributing/ast_ebnf.md b/book/src/contributing/ast_ebnf.md
@@ -55,7 +55,7 @@ ty ::=
 | (ty "->")* ty
 | impl "::" ident
 | "impl" ty
-| (goal)*
+| "dyn" (goal)*
 ```
 
 The patterns allowed reflect these types. Wildcard patterns, literal