diff --git a/agora-specs/Spec/Effect/TreasuryWithdrawal.hs b/agora-specs/Spec/Effect/TreasuryWithdrawal.hs index 538dbb8..ea0f67a 100644 --- a/agora-specs/Spec/Effect/TreasuryWithdrawal.hs +++ b/agora-specs/Spec/Effect/TreasuryWithdrawal.hs @@ -155,8 +155,8 @@ specs = ] datum2 = TreasuryWithdrawalDatum - [ (head users, asset1 4 <> asset2 5) - , (users !! 1, asset1 2 <> asset2 1) + [ (head users, asset2 5 <> asset1 4) + , (users !! 1, asset2 1 <> asset1 2) , (users !! 2, asset1 1) ] [ head treasuries