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/sailcapToString.tex | 1 +
 1 file changed, 1 insertion(+)
 create mode 100644 cheri/sail_latex/sailcapToString.tex

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

diff --git a/cheri/sail_latex/sailcapToString.tex b/cheri/sail_latex/sailcapToString.tex
new file mode 100644
index 00000000..554d4320
--- /dev/null
+++ b/cheri/sail_latex/sailcapToString.tex
@@ -0,0 +1 @@
+val capToString : CapStruct -> string effect {escape}
-- 
cgit v1.2.3