From 13f50a6ed7e0fc8f9776f5213e90359524e6cee7 Mon Sep 17 00:00:00 2001
From: Alessio Faieta <29785188+alessiofaieta@users.noreply.github.com>
Date: Thu, 8 Oct 2026 12:41:49 +0200
Subject: [PATCH] [spec] Fix typo in index space example

---
 document/core/syntax/modules.rst | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/document/core/syntax/modules.rst b/document/core/syntax/modules.rst
index 1253da8071..05a035a6d7 100644
--- a/document/core/syntax/modules.rst
+++ b/document/core/syntax/modules.rst
@@ -111,7 +111,7 @@ Conventions
 * For every index space ${-:abcidx}, the notation ${-:$abcidx(A)} denotes the set of indices from that index space occurring free in ${:A}. Sometimes this set is reinterpreted as the :ref:`list <syntax-list>` of its elements.
 
 .. note::
-   For example, if ${:instr*} is ${instr*: (DATA.DROP 1) (MEMORY.INIT 2 3)}, then ${:$dataidx_instrs(instr*) = 1 3}, or equivalently, the set ${:`{1, 3}}.
+   For example, if ${:instr*} is ${instr*: (DATA.DROP 1) (MEMORY.INIT 2 3)}, then ${:$dataidx(instr*) = 1 3}, or equivalently, the set ${:`{1, 3}}.
 
 
 .. index:: ! type definition, type index, function type, aggregate type