From baf0a79a6bd35c896e7060a8147e5e7618fc2016 Mon Sep 17 00:00:00 2001
From: Wonho Shin <gingerbread@Wonhos-MacBook-Pro.local>
Date: Tue, 25 Feb 2025 13:40:56 +0900
Subject: [PATCH] Fix wrong resulttype

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

diff --git a/document/core/valid/instructions.rst b/document/core/valid/instructions.rst
index 8d179ff834..cb42d06288 100644
--- a/document/core/valid/instructions.rst
+++ b/document/core/valid/instructions.rst
@@ -1802,7 +1802,7 @@ Memory Instructions
 
 * The lane index :math:`\laneidx` must be smaller than :math:`128/N`.
 
-* Then the instruction is valid with type :math:`[\X{at}~\V128] \to [\V128]`.
+* Then the instruction is valid with type :math:`[\X{at}~\V128] \to []`.
 
 .. math::
    \frac{