1 files changed, 0 insertions, 16 deletions
diff --git a/cheri/sail_latex/sailfnexecuteDDIVU.tex b/cheri/sail_latex/sailfnexecuteDDIVU.tex
deleted file mode 100644
index af83d644..00000000
--- a/cheri/sail_latex/sailfnexecuteDDIVU.tex
+++ /dev/null
@@ -1,16 +0,0 @@
-function clause #\hyperref[zexecute]{execute}# (#\hyperref[zDDIVU]{DDIVU}#(rs, rt)) =
-  {
-    rsVal = #\hyperref[zunsigned]{unsigned}#(#\hyperref[zrGPR]{rGPR}#(rs));
-    rtVal = #\hyperref[zunsigned]{unsigned}#(#\hyperref[zrGPR]{rGPR}#(rt));
-    let (q, r) =
-      if (rtVal == 0)
-        then (undefined  : #\hyperref[zbits]{bits}#(64), undefined : #\hyperref[zbits]{bits}#(64))
-      else
-        let qi = #\hyperref[zquotzyroundzyzzero]{quot\_round\_zero}#(rsVal, rtVal) in
-        let ri = #\hyperref[zremzyroundzyzzero]{rem\_round\_zero}#(rsVal, rtVal) in
-	(#\hyperref[ztozybits]{to\_bits}#(64, qi), #\hyperref[ztozybits]{to\_bits}#(64, ri)) in
-    {
-      LO    = q;
-      HI    = r;
-    }
-  }