From 4c84c70eafbbf9bea475e3264f21eedc3555021f Mon Sep 17 00:00:00 2001
From: Peter Sewell
Date: Fri, 27 Jul 2018 18:16:52 +0100
Subject: wib

---
 cheri/sail_latexcc/sailcccapStructToCapReg.tex | 1 -
 1 file changed, 1 deletion(-)
 delete mode 100644 cheri/sail_latexcc/sailcccapStructToCapReg.tex

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

diff --git a/cheri/sail_latexcc/sailcccapStructToCapReg.tex b/cheri/sail_latexcc/sailcccapStructToCapReg.tex
deleted file mode 100644
index b5409845..00000000
--- a/cheri/sail_latexcc/sailcccapStructToCapReg.tex
+++ /dev/null
@@ -1 +0,0 @@
-val capStructToCapReg : CapStruct -> CapReg
-- 
cgit v1.2.3