fix: typo get_block_number_sig

a16z · Aug 26, 2024 · 1030544 · 1030544
1 parent 41a0917
commit 1030544
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/src/halmos/cheatcodes.py b/src/halmos/cheatcodes.py
@@ -409,7 +409,7 @@ class hevm_cheat_code:
     label_sig: int = 0xC657C718
 
     # bytes4(keccak256("getBlockNumber()"))
-    get_block_nunber_sig: int = 0x42CBB15C
+    get_block_number_sig: int = 0x42CBB15C
 
     @staticmethod
     def handle(sevm, ex, arg: ByteVec, stack, step_id) -> ByteVec | None:
@@ -691,7 +691,7 @@ def handle(sevm, ex, arg: ByteVec, stack, step_id) -> ByteVec | None:
             return ret
 
         # vm.getBlockNumber() return (uint256)
-        elif funsig == hevm_cheat_code.get_block_nunber_sig:
+        elif funsig == hevm_cheat_code.get_block_number_sig:
             ret.append(uint256(ex.block.number))
             return ret