Update chapter2.adoc

Signed-off-by: NicholasWoodIMG <[email protected]>
riscv-non-isa · Dec 14, 2023 · b690979 · b690979
1 parent 00f47e2
commit b690979
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/specification/src/chapter2.adoc b/specification/src/chapter2.adoc
@@ -230,7 +230,7 @@ For example, a hosting environment is free to apply their own resource allocatio
 
 |===
 
-Higher privilege software must always be able to enforce its own resource management policy without interference. Including scheduling and resource assignment policies.
+Higher privilege software always has to be able to enforce its own resource management policy without interference. Including scheduling and resource assignment policies.
 
 === Adversarial model