From c1188b6b9649384f169a322ee13a817a8e6e9102 Mon Sep 17 00:00:00 2001 From: Jack Hodgkinson <30505104+jhodgdev@users.noreply.github.com> Date: Fri, 8 Apr 2022 14:33:51 +0100 Subject: [PATCH] fixed import issue --- agora-test/Spec/Model/Treasury.hs | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/agora-test/Spec/Model/Treasury.hs b/agora-test/Spec/Model/Treasury.hs index 0ed634f..d09a456 100644 --- a/agora-test/Spec/Model/Treasury.hs +++ b/agora-test/Spec/Model/Treasury.hs @@ -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