fix split for integer

IntersectMBO · Aug 11, 2020 · 5961887 · 5961887
1 parent 52c14af
commit 5961887
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/shelley/chain-and-ledger/executable-spec/src/Shelley/Spec/Ledger/Value.hs b/shelley/chain-and-ledger/executable-spec/src/Shelley/Spec/Ledger/Value.hs
@@ -62,6 +62,7 @@ instance Val Integer where
   vcoin x = Coin x
   vinject (Coin x) = x
   vsize _ = 1
+  vsplit n 0 = (Coin 0, n)
   vsplit n m
     | m <= 0 = error "must split coins into positive parts"
     | otherwise = (n `div` m, Coin $ n `rem` m)