fix constructors for contract info

CyberCat-Institute · Nov 25, 2024 · d9e7596 · d9e7596
1 parent 942ea27
commit d9e7596
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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