From 1d568d9dfb955259f96d473353ac36ccca18cbf1 Mon Sep 17 00:00:00 2001
From: Andreas Rossberg <rossberg@mpi-sws.org>
Date: Wed, 19 Nov 2025 14:31:41 +0100
Subject: [PATCH] [spec] Fix typo in rule

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

diff --git a/document/core/appendix/properties.rst b/document/core/appendix/properties.rst
index 39cb22b82c..c04d2be17d 100644
--- a/document/core/appendix/properties.rst
+++ b/document/core/appendix/properties.rst
@@ -270,7 +270,7 @@ Results
      \qquad
      \vdashresulttype [t^\ast] : \OKresulttype
    }{
-     S \vdashresult (\REFEXNADDR~a)~\THROWREF : [{t'}^\ast]
+     S \vdashresult (\REFEXNADDR~a)~\THROWREF : [t^\ast]
    }