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

(limited to 'cheri/sail_latexcc/sailcccapStructToMemBits.tex')

diff --git a/cheri/sail_latexcc/sailcccapStructToMemBits.tex b/cheri/sail_latexcc/sailcccapStructToMemBits.tex
new file mode 100644
index 00000000..4a49e9c0
--- /dev/null
+++ b/cheri/sail_latexcc/sailcccapStructToMemBits.tex
@@ -0,0 +1 @@
+val capStructToMemBits : CapStruct -> bits(128)
-- 
cgit v1.2.3