Explicit export of property

IntersectMBO · Sep 30, 2019 · ada923b · ada923b
1 parent ada0c49
commit ada923b
Showing 1 changed file with 2 additions and 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
@@ -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, (∈), (∉), (◁))