Skip to content
This repository has been archived by the owner on Dec 2, 2024. It is now read-only.

Commit

Permalink
Update plutus-use-cases/test/Spec/Prism.hs
Browse files Browse the repository at this point in the history
Co-authored-by: Sjoerd Visscher <[email protected]>
  • Loading branch information
MaximilianAlgehed and sjoerdvisscher authored Feb 15, 2022
1 parent fc52a44 commit be70fc5
Showing 1 changed file with 0 additions and 3 deletions.
3 changes: 0 additions & 3 deletions plutus-use-cases/test/Spec/Prism.hs
Original file line number Diff line number Diff line change
Expand Up @@ -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
Expand Down

0 comments on commit be70fc5

Please sign in to comment.