From 90cbd5093d86c3287f164ca9bb6f699c78a44960 Mon Sep 17 00:00:00 2001
From: Ben Visness <bvisness@users.noreply.github.com>
Date: Wed, 13 Nov 2024 10:09:42 -0600
Subject: [PATCH] [spec] Remove lingering one-memory validation rule (#1848)

---
 document/core/valid/modules.rst | 2 --
 1 file changed, 2 deletions(-)

diff --git a/document/core/valid/modules.rst b/document/core/valid/modules.rst
index 04388145ad..e110d0b6f0 100644
--- a/document/core/valid/modules.rst
+++ b/document/core/valid/modules.rst
@@ -841,8 +841,6 @@ The :ref:`external types <syntax-externtype>` classifying a module may contain f
 
 * Let :math:`\X{et}^\ast` be the concatenation of :ref:`external types <syntax-externtype>` :math:`\X{et}_i` of the exports, in index order.
 
-* The length of :math:`C.\CMEMS` must not be larger than :math:`1`.
-
 * All export names :math:`\export_i.\ENAME` must be different.
 
 * Then the module is valid with :ref:`external types <syntax-externtype>` :math:`\X{it}^\ast \to \X{et}^\ast`.