1 files changed, 0 insertions, 19 deletions
diff --git a/cheri/sail_latex/sailfnexecuteDIVU.tex b/cheri/sail_latex/sailfnexecuteDIVU.tex
deleted file mode 100644
index a6e54b6a..00000000
--- a/cheri/sail_latex/sailfnexecuteDIVU.tex
+++ /dev/null
@@ -1,19 +0,0 @@
-function clause #\hyperref[zexecute]{execute}# (#\hyperref[zDIVU]{DIVU}#(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[zunsigned]{unsigned}#(rsVal[31..0]) in
-        let ti = #\hyperref[zunsigned]{unsigned}#(rtVal[31..0]) in
-        let qi = #\hyperref[zquotzyroundzyzzero]{quot\_round\_zero}#(si, ti) in
-        let ri = #\hyperref[zremzyroundzyzzero]{rem\_round\_zero}#(si, ti)   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);
-    }
-  }