replaced use of withMinAda

agora-test/Spec/Sample/Shared.hs

@@ -10,7 +10,6 @@ module Spec.Sample.Shared (
   signer,
   signer2,
   minAda,
-  withMinAda,
 
   -- * Components
 
@@ -192,6 +191,3 @@ wrongEffHash =
 
 minAda :: Value
 minAda = Value.singleton "" "" 10_000_000
-
-withMinAda :: Value -> Value
-withMinAda v = v <> minAda

agora-test/Spec/Sample/Treasury.hs

@@ -41,10 +41,10 @@ import Plutus.V1.Ledger.Value qualified as Value
 import Spec.Sample.Shared (
   gatCs,
   gatTn,
+  minAda,
   mockTrEffect,
   signer,
   treasuryOut,
-  withMinAda,
   wrongEffHash,
  )
 import Spec.Util (datumPair)
@@ -95,7 +95,11 @@ validCtx =
             TxOut
               { txOutAddress =
                   Address (ScriptCredential $ validatorHash mockTrEffect) Nothing
-              , txOutValue = withMinAda $ Value.singleton gatCs gatTn 1
+              , txOutValue =
+                  mconcat
+                    [ Value.singleton gatCs gatTn 1
+                    , minAda
+                    ]
               , txOutDatumHash = Nothing
               }
         }