TOSQUASH alignment and blank separator lines to avoid awkward alignment

IntersectMBO · Jan 14, 2021 · 2a9929d · 2a9929d
1 parent 1f9142d
commit 2a9929d
Showing 1 changed file with 11 additions and 7 deletions.
diff --git a/ouroboros-consensus/src/Ouroboros/Consensus/Mempool/ImplPure.hs b/ouroboros-consensus/src/Ouroboros/Consensus/Mempool/ImplPure.hs
@@ -322,25 +322,29 @@ pureRemoveTxs txIds mpArgs IS{isTxs, isLastTicketNo} ledgerState =
       -- Filtering is O(n), but this function will rarely be used, as it is an
       -- escape hatch when there's an inconsistency between the ledger and the
       -- mempool.
-    txTickets' = filter
-                   ((`notElem` toRemove) . txId . txTicketTx)
-                   (TxSeq.toList isTxs)
+    txTickets'     = filter
+                       ((`notElem` toRemove) . txId . txTicketTx)
+                       (TxSeq.toList isTxs)
     (slot, ticked) = tickLedgerState cfg (ForgeInUnknownSlot ledgerState)
+
     vr = revalidateTxsFor
             capacityOverride
             cfg
             slot
             ticked
             isLastTicketNo
             txTickets'
-    state' = internalStateFromVR vr
-    removed = map fst (vrInvalid vr)
+
+    state'      = internalStateFromVR vr
+    removed     = map fst (vrInvalid vr)
     mempoolSize = isMempoolSize state'
-    tracer = TraceMempoolManuallyRemovedTxs txIds removed mempoolSize
+    tracer      = TraceMempoolManuallyRemovedTxs txIds removed mempoolSize
+
     MempoolArgs
-      { mpArgsLedgerCfg = cfg
+      { mpArgsLedgerCfg        = cfg
       , mpArgsCapacityOverride = capacityOverride
       } = mpArgs
+
     toRemove = Set.fromList txIds
 
 pureSyncWithLedger