Remove failing diminish_srw_ss

CakeML · Sep 18, 2022 · 116b8ae · 116b8ae
1 parent 8f9eeb4
commit 116b8ae
Showing 1 changed file with 0 additions and 2 deletions.
diff --git a/icing/flover/IEEE_connectionScript.sml b/icing/flover/IEEE_connectionScript.sml
@@ -15,8 +15,6 @@ val _ = new_theory "IEEE_connection";
 
 Overload abs[local] = “realax$abs”
 
-val _ = diminish_srw_ss ["RMULCANON","RMULRELNORM"]
-
 (** FloVer assumes rounding with ties to even, thus we exprlicitly define
     a rounding mode here **)
 Definition dmode_def :