Make freshBool return bool instead of uint256 (#13)

runtimeverification · Oct 18, 2024 · 9b70241 · 9b70241
1 parent 61a5df7
commit 9b70241
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/IKontrolCheatsBase.sol b/src/IKontrolCheatsBase.sol
@@ -30,7 +30,7 @@ interface KontrolCheatsBase {
     // Returns a symbolic unsigned integer
     function freshUInt(uint8) external view returns (uint256);
     // Returns a symbolic boolean value
-    function freshBool() external view returns (uint256);
+    function freshBool() external view returns (bool);
     // Returns a symbolic byte array
     function freshBytes(uint256) external view returns (bytes memory);
     // Returns a symbolic address