Typo fix.

CTSRD-CHERI · Aug 7, 2023 · cf03270 · cf03270
1 parent a1ab30d
commit cf03270
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/abstract.tex b/abstract.tex
@@ -64,7 +64,7 @@ \section*{Abstract}
 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