From 9e369bc75b647c113edf9f9f88024758d6971d68 Mon Sep 17 00:00:00 2001 From: Levent Erkok Date: Tue, 21 Nov 2023 13:53:55 -0800 Subject: [PATCH] whitespace --- Data/SBV/Tools/Overflow.hs | 1 - 1 file changed, 1 deletion(-) diff --git a/Data/SBV/Tools/Overflow.hs b/Data/SBV/Tools/Overflow.hs index 253a69b38..101cf0057 100644 --- 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