1 files changed, 0 insertions, 19 deletions
diff --git a/cheri/sail_latex/sailfnexecuteDIV.tex b/cheri/sail_latex/sailfnexecuteDIV.tex
deleted file mode 100644
index 8bebe43f..00000000
--- a/cheri/sail_latex/sailfnexecuteDIV.tex
+++ /dev/null
@@ -1,19 +0,0 @@
-function clause #\hyperref[zexecute]{execute}# (#\hyperref[zDIV]{DIV}#(rs, rt)) =
-  {
-    rsVal = #\hyperref[zrGPR]{rGPR}#(rs);
-    rtVal = #\hyperref[zrGPR]{rGPR}#(rt);
-    let (q, r) =
-      if (#\hyperref[zNotWordVal]{NotWordVal}#(rsVal) | #\hyperref[zNotWordVal]{NotWordVal}#(rtVal) | (rtVal == 0x0000000000000000)) then
-	(undefined : #\hyperref[zbits]{bits}#(32), undefined : #\hyperref[zbits]{bits}#(32))
-      else
-        let si = #\hyperref[zsigned]{signed}#((rsVal[31..0])) in
-        let ti = #\hyperref[zsigned]{signed}#((rtVal[31..0])) in
-        let qi = #\hyperref[zquotzyroundzyzzero]{quot\_round\_zero}#(si, ti) in
-        let ri = si - (ti*qi) in
-	(#\hyperref[ztozybits]{to\_bits}#(32, qi), #\hyperref[ztozybits]{to\_bits}#(32, ri))
-    in
-    {
-      HI = #\hyperref[zsignzyextend]{sign\_extend}#(r);
-      LO = #\hyperref[zsignzyextend]{sign\_extend}#(q);
-    }
-  }