TOSQUASH add separator blank line between awkward-to-align bindings

IntersectMBO · Jan 14, 2021 · b4c31f6 · b4c31f6
1 parent b472801
commit b4c31f6
Showing 1 changed file with 13 additions and 10 deletions.
diff --git a/ouroboros-consensus-test/test-consensus/Test/Consensus/Mempool.hs b/ouroboros-consensus-test/test-consensus/Test/Consensus/Mempool.hs
@@ -233,16 +233,19 @@ prop_pure_invalidTxsNeverAdded :: TestSetupWithTxs -> Property
 prop_pure_invalidTxsNeverAdded setup@TestSetupWithTxs {..} =
   withInternalState testSetup $
   \mpArgs internalState _ledgerState ->
-      let MempoolSnapshot { snapshotTxs = ta } = implSnapshotFromIS
-                                                   internalState
-          txsInMempoolBefore                   = map fst ta
-          (_res, internalState')               = runTryAddTxs
-                                                   mpArgs
-                                                   internalState
-                                                   (allTxs setup)
-          MempoolSnapshot { snapshotTxs = tb } = implSnapshotFromIS
-                                                   internalState'
-          txsInMempoolAfter                    = map fst tb
+      let MempoolSnapshot { snapshotTxs = ta } =
+            implSnapshotFromIS internalState
+
+          txsInMempoolBefore     = map fst ta
+          (_res, internalState') = runTryAddTxs
+                                     mpArgs
+                                     internalState
+                                     (allTxs setup)
+
+          MempoolSnapshot { snapshotTxs = tb } =
+            implSnapshotFromIS internalState'
+
+          txsInMempoolAfter = map fst tb
       in  counterexample (ppTxs txs) $ conjoin
             -- Check for each transaction in the mempool (ignoring those already
             -- in the mempool beforehand) that it was a valid transaction.