From 3225fea06c08dc4c851845b1bbe9a2d16dba75ea Mon Sep 17 00:00:00 2001 From: Damian Nadales Date: Wed, 29 May 2019 15:28:00 +0200 Subject: [PATCH] Fix delegation example. --- .../ledger/executable-spec/test/Ledger/Delegation/Examples.hs | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/byron/ledger/executable-spec/test/Ledger/Delegation/Examples.hs b/byron/ledger/executable-spec/test/Ledger/Delegation/Examples.hs index cbb038fef65..43d577e32ca 100644 --- a/byron/ledger/executable-spec/test/Ledger/Delegation/Examples.hs +++ b/byron/ledger/executable-spec/test/Ledger/Delegation/Examples.hs @@ -46,10 +46,10 @@ deleg = .- (s 1, (gk 1, k 11)) .-> DState (Bimap.fromList [(gk 0, k 10), (gk 1, k 11)]) [(gk 0, s 0), (gk 1, s 1)] - .- (s 2, (gk 0, k 11)) .-> DState (Bimap.fromList [(gk 0, k 11), (gk 1, k 11)]) + .- (s 2, (gk 0, k 11)) .-> DState (Bimap.fromList [(gk 0, k 11)]) [(gk 0, s 2), (gk 1, s 1)] - .- (s 3, (gk 2, k 12)) .-> DState (Bimap.fromList [(gk 0, k 11), (gk 1, k 11), (gk 2, k 12)]) + .- (s 3, (gk 2, k 12)) .-> DState (Bimap.fromList [(gk 0, k 11), (gk 2, k 12)]) [(gk 0, s 2), (gk 1, s 1), (gk 2, s 3)] ]