From ada5d9156860c0be54c7b55bf944ad4d8f5b58b8 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Matthias=20G=C3=BCdemann?= Date: Mon, 30 Sep 2019 12:11:10 +0200 Subject: [PATCH] Explicit export of property --- .../chain-and-ledger/executable-spec/test/Rules/TestDeleg.hs | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/shelley/chain-and-ledger/executable-spec/test/Rules/TestDeleg.hs b/shelley/chain-and-ledger/executable-spec/test/Rules/TestDeleg.hs index cb4947635b8..9444974262c 100644 --- a/shelley/chain-and-ledger/executable-spec/test/Rules/TestDeleg.hs +++ b/shelley/chain-and-ledger/executable-spec/test/Rules/TestDeleg.hs @@ -8,6 +8,7 @@ module Rules.TestDeleg ( credentialMappingAfterDelegation , credentialRemovedAfterDereg , rewardZeroAfterReg + , rewardsSumInvariant ) where @@ -24,7 +25,7 @@ import BaseTypes ((==>)) import Control.State.Transition.Generator (ofLengthAtLeast, trace) import Control.State.Transition.Trace (SourceSignalTarget, pattern SourceSignalTarget, - signal, sourceSignalTargets, target) + signal, source, sourceSignalTargets, target) import Generator.LedgerTrace () import Ledger.Core (dom, range, (∈), (∉), (◁))