From d6c78edc79dad0717699e226f352b65ea1ae8fd5 Mon Sep 17 00:00:00 2001
From: Hongrui Fang <chfanghr@gmail.com>
Date: Wed, 15 Jun 2022 19:30:07 +0800
Subject: [PATCH] fix the broken test case

---
 agora-specs/Spec/Effect/TreasuryWithdrawal.hs | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

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