From 56e654e55210bb390bd89ec13047fd8d8952b609 Mon Sep 17 00:00:00 2001
From: Alessio Faieta <29785188+alessiofaieta@users.noreply.github.com>
Date: Tue, 7 Apr 2026 15:09:55 +0200
Subject: [PATCH] Fix typo in module abbreviation text format

The rendered specification contained the string `decldots` instead of
ellipses.

Fixes #2134.
---
 document/core/text/modules.rst | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/document/core/text/modules.rst b/document/core/text/modules.rst
index d246b7ec2e..fe57661e81 100644
--- a/document/core/text/modules.rst
+++ b/document/core/text/modules.rst
@@ -430,6 +430,6 @@ $${definition-ignore: typesd importsd tagsd globalsd memsd tablesd funcsd datasd
 Abbreviations
 .............
 
-In a source file, the toplevel ${grammar-case: "(" "module" Tdecldots ")"} surrounding the module body may be omitted.
+In a source file, the toplevel ${grammar-case: "(" "module" Tdecldots_(I) ")"} surrounding the module body may be omitted.
 
 $${grammar: Tmodule/abbrev}