Sulkta-OSS/agora
3
0
Fork 0
Code Issues 1 Pull requests Projects Releases Packages Wiki Activity Actions

fixed import issue

Browse source
This commit is contained in:
Jack Hodgkinson 2022-04-08 14:33:51 +01:00
parent 3625483f47
commit e6a6e843a0
1 changed files with 2 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

4
agora-test/Spec/Model/Treasury.hs
View file

@ -21,7 +21,7 @@ import Apropos (
runGeneratorTestsWhere, runGeneratorTestsWhere,
(:+), (:+),
) )
import Apropos.Script (HasScriptRunner (expect, runScriptTestsWhere, script)) import Apropos.Script (ScriptModel (expect, runScriptTestsWhere, script))
import Data.Maybe (fromMaybe) import Data.Maybe (fromMaybe)
import Data.Set (Set) import Data.Set (Set)
import Plutus.V1.Ledger.Address (Address (addressCredential)) import Plutus.V1.Ledger.Address (Address (addressCredential))
@ -134,7 +134,7 @@ instance HasParameterisedGenerator TreasuryTxProp TreasuryTxModel where
else undefined else undefined
undefined undefined
instance HasScriptRunner TreasuryTxProp TreasuryTxModel where instance ScriptModel TreasuryTxProp TreasuryTxModel where
expect = undefined expect = undefined
script = undefined script = undefined