1 files changed, 0 insertions, 19 deletions
diff --git a/cheri/sail_latex/sailfninitcptwostate.tex b/cheri/sail_latex/sailfninitcptwostate.tex
deleted file mode 100644
index ea9e07b5..00000000
--- a/cheri/sail_latex/sailfninitcptwostate.tex
+++ /dev/null
@@ -1,19 +0,0 @@
-function #\hyperref[zinitzycptwozystate]{init\_cp2\_state}# () = {
-  let defaultBits = #\hyperref[zcapStructToCapReg]{capStructToCapReg}#(default_cap);
-  let nullBits = #\hyperref[zcapStructToCapReg]{capStructToCapReg}#(null_cap);
-  PCC = defaultBits;
-  nextPCC = defaultBits;
-  delayedPCC = defaultBits;
-  DDC  = defaultBits;
-  KCC  = defaultBits;
-  EPCC = defaultBits;
-  KDC  = nullBits;
-  KR1C = nullBits;
-  KR2C = nullBits;
-  CTLSP = nullBits;
-  CTLSU = nullBits;
-  foreach(i from 1 to 31) {
-    let idx = #\hyperref[ztozybits]{to\_bits}#(5, i) in
-    #\hyperref[zwriteCapReg]{writeCapReg}#(idx, null_cap)
-  }
-}