Remove left-over Ouroboros.Consensus.Demo.Ledger.Mock

This should have been removed in #727.
IntersectMBO · Jul 16, 2019 · 7deb2f4 · 7deb2f4
1 parent c2645cd
commit 7deb2f4
Showing 1 changed file with 0 additions and 61 deletions.
diff --git a/ouroboros-consensus/src/Ouroboros/Consensus/Demo/Ledger/Mock.hs b/ouroboros-consensus/src/Ouroboros/Consensus/Demo/Ledger/Mock.hs