whitespace

LeventErkok · Nov 21, 2023 · 9e369bc · 9e369bc
1 parent 244f57d
commit 9e369bc
Showing 1 changed file with 0 additions and 1 deletion.
diff --git a/Data/SBV/Tools/Overflow.hs b/Data/SBV/Tools/Overflow.hs
@@ -80,7 +80,6 @@ class ArithOverflow a where
   --   s0 = -128 :: Int8
   --   s1 =   -1 :: Int8
   -- This is the only solution.
-
   bvDivO :: a -> a -> (SBool, SBool)
 
   -- | Bit-vector negation. Unsigned negation neither underflows nor overflows. Signed negation can only overflow, when the argument is