Add default definition for initialInstances (#478)

IntersectMBO · May 24, 2022 · 7d067a4 · 7d067a4
1 parent 4792047
commit 7d067a4
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