From be70fc5a61cb24836c3d542a4a1f4510ece65dc6 Mon Sep 17 00:00:00 2001 From: Maximilian Algehed Date: Tue, 15 Feb 2022 18:11:43 +0100 Subject: [PATCH] Update plutus-use-cases/test/Spec/Prism.hs Co-authored-by: Sjoerd Visscher --- plutus-use-cases/test/Spec/Prism.hs | 3 --- 1 file changed, 3 deletions(-) diff --git a/plutus-use-cases/test/Spec/Prism.hs b/plutus-use-cases/test/Spec/Prism.hs index 1dad5af248..f0057199b6 100644 --- a/plutus-use-cases/test/Spec/Prism.hs +++ b/plutus-use-cases/test/Spec/Prism.hs @@ -198,9 +198,6 @@ prop_Prism = propRunActions @PrismModel finalPredicate -- | The Prism contract does not lock any funds. noLockProof :: NoLockedFundsProof PrismModel noLockProof = defaultNLFP - { nlfpMainStrategy = return () - , nlfpWalletStrategy = \ _ -> return () - } prop_NoLock :: Property prop_NoLock = checkNoLockedFundsProof defaultCheckOptionsContractModel noLockProof