[spec] Fix typo in rule

rossberg · web-flow · commit 6f3007c97dc5 · 2025-11-19T14:32:06.000+01:00
diff --git 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]
    }
 
 

Original file line number	Diff line number	Diff line change
`@@ -270,7 +270,7 @@ Results`
`270`	`270`	`\qquad`
`271`	`271`	`\vdashresulttype [t^\ast] : \OKresulttype`
`272`	`272`	`}{`
`273`		`- S \vdashresult (\REFEXNADDR~a)~\THROWREF : [{t'}^\ast]`
	`273`	`+ S \vdashresult (\REFEXNADDR~a)~\THROWREF : [t^\ast]`
`274`	`274`	`}`
`275`	`275`
`276`	`276`