From d9e7596c786d0952c307261038af944287b1f2a3 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Andr=C3=A9=20Videla?= Date: Mon, 25 Nov 2024 14:26:34 -0500 Subject: [PATCH] fix constructors for contract info --- evm/src/Examples/Prisoner.hs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/evm/src/Examples/Prisoner.hs b/evm/src/Examples/Prisoner.hs index b8f15f4..f1efed8 100644 --- a/evm/src/Examples/Prisoner.hs +++ b/evm/src/Examples/Prisoner.hs @@ -24,7 +24,7 @@ import OpenGames hiding (dependentDecision, fromFunctions, fromLens) import OpenGames.Engine.HEVMGames import OpenGames.Preprocessor hiding (Lit) -$(loadAll [ContractFileInfo "solidity/Prisonner.sol" [ContractInfo "Prison" "prison"]]) +$(loadAll [mkContractFileInfo "solidity/Prisonner.sol" [mkContractInfo "Prison" "prison"]]) player1 = LitAddr 0x1234