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]
    }