From 399c74ab450e9ce34944a1a8e06de93b250efd84 Mon Sep 17 00:00:00 2001
From: Andrew Waterman <andrew@sifive.com>
Date: Tue, 6 Nov 2018 19:40:05 -0800
Subject: spelling

---
 src/machine.tex | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src/machine.tex')

diff --git a/src/machine.tex b/src/machine.tex
index 0341cc7..6de2495 100644
--- a/src/machine.tex
+++ b/src/machine.tex
@@ -1396,7 +1396,7 @@ Synchronous exceptions are of lower priority than all interrupts.
   with the following rationale.
   
   Interrupts for higher privilege modes must be serviced before
-  interrupts for lower privilege modes to support pre-emption.
+  interrupts for lower privilege modes to support preemption.
 
   The platform-specific machine-level interrupt sources in bits 16 and above
   have platform-specific priority, but are typically chosen to have the
-- 
cgit v1.1

