Update src/insns/load_store_c0.adoc

tariqkurd-repo · nwf · web-flow · commit 779b887367cd · 2024-10-15T10:28:41.000+01:00
Co-authored-by: Nathaniel Wesley Filardo &lt;VP331RHQ115POU58JFRLKB7OPA0L18E3@cmx.ietfng.org&gt;
Signed-off-by: Tariq Kurd &lt;tariqandlaura@gmail.com&gt;
diff --git a/src/insns/load_store_c0.adoc b/src/insns/load_store_c0.adoc
@@ -1,2 +1,2 @@
-NOTE: Any instance of this instruction with a `cs1` of `c0` will certainly trap (with a CHERI tag violation), as `c0` is defined to always hold a <<null-cap>> capability.
+NOTE: Any instance of this instruction with a `cs1` of `c0` would certainly trap (with a CHERI tag violation), as `c0` is defined to always hold a <<null-cap>> capability.
 As such, the encodings with a `cs1` of `c0` are RESERVED for use by future extensions.

Original file line number	Diff line number	Diff line change
`@@ -1,2 +1,2 @@`
`1`		-NOTE: Any instance of this instruction with a `cs1` of `c0` will certainly trap (with a CHERI tag violation), as `c0` is defined to always hold a <<null-cap>> capability.
	`1`	+NOTE: Any instance of this instruction with a `cs1` of `c0` would certainly trap (with a CHERI tag violation), as `c0` is defined to always hold a <<null-cap>> capability.
`2`	`2`	As such, the encodings with a `cs1` of `c0` are RESERVED for use by future extensions.