Sulkta-OSS/agora
2
0
Fork 0
Code Issues 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 04118541ff
commit c1188b6b96
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,
(:+),
)
import Apropos.Script (HasScriptRunner (expect, runScriptTestsWhere, script))
import Apropos.Script (ScriptModel (expect, runScriptTestsWhere, script))
import Data.Maybe (fromMaybe)
import Data.Set (Set)
import Plutus.V1.Ledger.Address (Address (addressCredential))
@ -134,7 +134,7 @@ instance HasParameterisedGenerator TreasuryTxProp TreasuryTxModel where
else undefined
undefined
instance HasScriptRunner TreasuryTxProp TreasuryTxModel where
instance ScriptModel TreasuryTxProp TreasuryTxModel where
expect = undefined
script = undefined