Improve comment

IntersectMBO · Jun 18, 2021 · 1eab90b · 1eab90b
1 parent 65b1d4a
commit 1eab90b
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/plutus-core/plutus-core/src/Data/SatInt.hs b/plutus-core/plutus-core/src/Data/SatInt.hs
@@ -221,7 +221,7 @@ instance Integral SatInt where
 
     SI a `rem` SI b
      | b == 0                     = divZeroError
-     -- a/-1 = -a, exactly
+     -- a/-1 = -a, with no remainder
      -- We can't just fall though since `remInt` would overflow instead
      | a == minBound && b == (-1) = 0
      | otherwise                  = SI (a `remInt` b)
@@ -235,7 +235,7 @@ instance Integral SatInt where
 
     SI a `mod` SI b
      | b == 0                     = divZeroError
-     -- a/-1 = -a, exactly
+     -- a/-1 = -a, with no remainder
      -- We can't just fall though since `modInt` would overflow instead
      | a == minBound && b == (-1) = 0
      | otherwise                  = SI (a `modInt` b)