[spec] Fix typo

rossberg · rossberg · commit a3a53beeabe2 · 2024-04-02T16:31:37.000+02:00
diff --git a/document/core/valid/instructions.rst b/document/core/valid/instructions.rst
@@ -408,7 +408,7 @@ The following auxiliary function denotes the number of lanes in a vector shape,
    \frac{
      \laneidx < \dim(\shape)
    }{
-     C \vdashinstr t\K{x}N\K{.}\EXTRACTLANE\K{\_}\sx^?~\laneidx : [\V128] \to [\unpacked(\shape)]
+     C \vdashinstr \shape\K{.}\EXTRACTLANE\K{\_}\sx^?~\laneidx : [\V128] \to [\unpacked(\shape)]
    }
 
 

Original file line number	Diff line number	Diff line change
`@@ -408,7 +408,7 @@ The following auxiliary function denotes the number of lanes in a vector shape,`
`408`	`408`	`\frac{`
`409`	`409`	`\laneidx < \dim(\shape)`
`410`	`410`	`}{`
`411`		`- C \vdashinstr t\K{x}N\K{.}\EXTRACTLANE\K{\_}\sx^?~\laneidx : [\V128] \to [\unpacked(\shape)]`
	`411`	`+ C \vdashinstr \shape\K{.}\EXTRACTLANE\K{\_}\sx^?~\laneidx : [\V128] \to [\unpacked(\shape)]`
`412`	`412`	`}`
`413`	`413`
`414`	`414`