From af680b03a8c2cf860b8dea137ecba22fb656bf71 Mon Sep 17 00:00:00 2001
From: pes20 <Peter.Sewell@cl.cam.ac.uk>
Date: Tue, 8 Aug 2023 18:21:27 +0100
Subject: [PATCH] spell Cerberus

---
 cheri.bib | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/cheri.bib b/cheri.bib
index 984ea96f..61c2640f 100644
--- a/cheri.bib
+++ b/cheri.bib
@@ -16702,7 +16702,7 @@ @TechReport{UCAM-CL-TR-976
 
 @TechReport{UCAM-CL-TR-981,
   author =	 {Memarian, Kayvan},
-  title = 	 {{The Cerberos C semantics}},
+  title = 	 {{The Cerberus C semantics}},
   year = 	 2023,
   month = 	 may,
   url = 	 {https://www.cl.cam.ac.uk/techreports/UCAM-CL-TR-981.pdf},