fix: revert change that broke halmos campaign compile :D

defi-wonderland · Aug 29, 2024 · c681a7c · c681a7c
1 parent e26b9c3
commit c681a7c
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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";