ormolize

IntersectMBO · Nov 4, 2021 · 68024dd · 68024dd
1 parent e99b0b4
commit 68024dd
Show file tree

Hide file tree

Showing 3 changed files with 6 additions and 6 deletions.
diff --git a/eras/alonzo/test-suite/test/Test/Cardano/Ledger/Alonzo/Trials.hs b/eras/alonzo/test-suite/test/Test/Cardano/Ledger/Alonzo/Trials.hs
@@ -136,12 +136,11 @@ import Test.Cardano.Ledger.Shelley.PropertyTests
     relevantCasesAreCovered,
     removedAfterPoolreap,
   )
-import Test.Cardano.Ledger.Shelley.Rules.TestChain(incrementalStakeProp)  
 import Test.Cardano.Ledger.Shelley.Rules.Chain (ChainState (..))
+import Test.Cardano.Ledger.Shelley.Rules.TestChain (incrementalStakeProp)
 import Test.Tasty
 import Test.Tasty.QuickCheck
 
-
 -- ======================================================================================
 -- It is incredably hard to debug property test generators.  These functions mimic the
 -- set up of a property test, so one can inspect some randomly generatated transactions
@@ -311,8 +310,9 @@ alonzoPropertyTests =
     "Alonzo property tests"
     [ propertyTests @A @L,
       Alonzo.propertyTests,
-      testProperty "Incremental stake distribution at epoch boundaries agrees"
-                   (incrementalStakeProp (Proxy:: Proxy A))
+      testProperty
+        "Incremental stake distribution at epoch boundaries agrees"
+        (incrementalStakeProp (Proxy :: Proxy A))
     ]
 
 -- | A select subset of all the property tests

diff --git a/eras/alonzo/test-suite/test/Tests.hs b/eras/alonzo/test-suite/test/Tests.hs
@@ -56,7 +56,7 @@ nightlyTests :: TestTree
 nightlyTests =
   testGroup
     "Alonzo tests"
-    [  alonzoPropertyTests, -- These are the full property tests
+    [ alonzoPropertyTests, -- These are the full property tests
       CDDL.tests 50
     ]
 

diff --git a/eras/shelley-ma/impl/src/Cardano/Ledger/ShelleyMA/Rules/Utxo.hs b/eras/shelley-ma/impl/src/Cardano/Ledger/ShelleyMA/Rules/Utxo.hs
@@ -337,7 +337,7 @@ utxoTransition = do
   let refunded = Shelley.keyRefunds pp txb
   let txCerts = toList $ getField @"certs" txb
   let depositChange = totalDeposits pp (`Map.notMember` stakepools) txCerts Val.<-> refunded
-  let utxoAdd = txouts txb                   -- These will be inserted into the UTxO
+  let utxoAdd = txouts txb -- These will be inserted into the UTxO
   let utxoDel = eval (txins @era txb ◁ utxo) -- These will be deleted fromthe UTxO
   let newIncStakeDistro = updateStakeDistribution @era incStake utxoDel utxoAdd