From c681a7c8754007b99c78234e381c54570d4d4fe2 Mon Sep 17 00:00:00 2001 From: teddy Date: Thu, 29 Aug 2024 17:54:36 -0300 Subject: [PATCH] fix: revert change that broke halmos campaign compile :D --- .../contracts-bedrock/test/properties/helpers/HalmosBase.sol | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/packages/contracts-bedrock/test/properties/helpers/HalmosBase.sol b/packages/contracts-bedrock/test/properties/helpers/HalmosBase.sol index 28b1d301147c..75bfe2f7c9e1 100644 --- a/packages/contracts-bedrock/test/properties/helpers/HalmosBase.sol +++ b/packages/contracts-bedrock/test/properties/helpers/HalmosBase.sol @@ -5,7 +5,7 @@ import { Test } from "forge-std/Test.sol"; contract HalmosBase is Test { uint256 internal constant CURRENT_CHAIN_ID = 1; - uint256 internal constant ZERO_AMOUNT; + uint256 internal constant ZERO_AMOUNT = 0; address internal remoteToken = address(bytes20(keccak256("remoteToken"))); string internal name = "SuperchainERC20";