Further typo fix.

CTSRD-CHERI · Aug 7, 2023 · 0817393 · 0817393
1 parent 5575b10
commit 0817393
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/app-versions.tex b/app-versions.tex
@@ -188,7 +188,7 @@ \section{CHERI ISA Specification Version Summary}
   of a capability; and 2) \DDC{} and \PCC{} no longer relocate legacy
   memory accesses by default.
   CHERI-RISC-V has received numerous updates to serve as a better
-  baseline for an upstream standard propsal including a more mature
+  baseline for an upstream standard proposal including a more mature
   definition of compressed instructions in capability mode.
   CHERI-x86-64 now includes details of extensions to existing x86
   instructions and proposed new instructions in a separate ISA