Add default definition for initialInstances (#478)

IntersectMBO · Jun 22, 2022 · 0974339 · 0974339
1 parent 3988654
commit 0974339
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/plutus-contract/src/Plutus/Contract/Test/ContractModel/Internal.hs b/plutus-contract/src/Plutus/Contract/Test/ContractModel/Internal.hs
@@ -478,6 +478,7 @@ class ( Typeable state
 
     -- | The initial handles
     initialInstances :: [StartContract state]
+    initialInstances = []
 
     -- | The `precondition` function decides if a given action is valid in a given state. Typically
     --   actions generated by `arbitraryAction` will satisfy the precondition, but if they don't