Merge pull request #17 from input-output-hk/PR-hotfix

One more hotfix
input-output-hk · Apr 21, 2023 · 11fbbf4 · 11fbbf4
2 parents 236a046 + 17d7859
commit 11fbbf4
Show file tree

Hide file tree

Showing 2 changed files with 5 additions and 4 deletions.
diff --git a/quickcheck-contractmodel/src/Test/QuickCheck/ContractModel.hs b/quickcheck-contractmodel/src/Test/QuickCheck/ContractModel.hs
@@ -67,6 +67,7 @@ module Test.QuickCheck.ContractModel
   , viewModelState
   , viewContractState
   , createToken
+  , createTxOut
   , mint
   , burn
   , deposit

diff --git a/quickcheck-contractmodel/src/Test/QuickCheck/ContractModel/Internal/Spec.hs b/quickcheck-contractmodel/src/Test/QuickCheck/ContractModel/Internal/Spec.hs
@@ -158,10 +158,10 @@ createToken key = Spec $ do
   Writer.tell $ createIndex @AssetId key
   pure $ Symbolic var key
 
--- | Create a new symbolic token in `nextState` - must have a
--- corresponding `registerToken` call in `perform`
-createSymUTxO :: String -> Spec state SymTxOut
-createSymUTxO key = Spec $ do
+-- | Create a new symbolic TxOut in `nextState` - must have a
+-- corresponding `registerTxOut` call in `perform`
+createTxOut :: String -> Spec state SymTxOut
+createTxOut key = Spec $ do
   var <- ask
   Writer.tell $ createIndex @(TxOut CtxUTxO Era) key
   pure $ Symbolic var key