From 313c004c1829700697ea2fe1281cc1f7afe5904a Mon Sep 17 00:00:00 2001
From: Alasdair Armstrong
Date: Fri, 27 Jul 2018 16:29:40 +0100
Subject: Check in snapshot of cheri latex

---
 cheri/sail_latex/sailupdateExcCode.tex | 1 +
 1 file changed, 1 insertion(+)
 create mode 100644 cheri/sail_latex/sailupdateExcCode.tex

(limited to 'cheri/sail_latex/sailupdateExcCode.tex')

diff --git a/cheri/sail_latex/sailupdateExcCode.tex b/cheri/sail_latex/sailupdateExcCode.tex
new file mode 100644
index 00000000..38736fe7
--- /dev/null
+++ b/cheri/sail_latex/sailupdateExcCode.tex
@@ -0,0 +1 @@
+overload update_ExcCode = {_update_CapCauseReg_ExcCode}
\ No newline at end of file
-- 
cgit v1.2.3