Update src/cap-description.adoc

Signed-off-by: Alexander Richardson <[email protected]>
riscv · Nov 13, 2024 · 9726193 · 9726193
1 parent 5edad1f
commit 9726193
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/cap-description.adoc b/src/cap-description.adoc
@@ -560,7 +560,7 @@ CHERI enforces the following invariants for all valid (i.e., tagged) capabilitie
 
 . The bounds are not malformed.
 . No reserved bit in the capability encoding is set.
-. The permissions are legally produced by <<ACPERM>>.
+. The permissions can be legally produced by <<ACPERM>>.
 
 A tagged capability that violates those invariants (i.e., a tagged but malformed capability or a tagged
 capability with any reserved bit set) can only possibly be caused by