From 0c614335ac527d63445088e9c8219ce7e1ecab40 Mon Sep 17 00:00:00 2001
From: Eamon Burns <eamon.r.burns@gmail.com>
Date: Fri, 28 Aug 2026 10:02:38 -0700
Subject: [PATCH] Allow trailing comma in `use-names-list`

---
 design/mvp/WIT.md | 2 --
 1 file changed, 2 deletions(-)

diff --git a/design/mvp/WIT.md b/design/mvp/WIT.md
index f7c58af7..0172e43e 100644
--- a/design/mvp/WIT.md
+++ b/design/mvp/WIT.md
@@ -1613,8 +1613,6 @@ use-names-item ::= id
                  | id 'as' id
 ```
 
-Note: Here `use-names-list?` means at least one `use-name-list` term.
-
 ## Items: type
 
 There are a number of methods of defining types in a `wit` package, and all of