Small fix that can help in some cases

ethereum · Jan 13, 2025 · d9fe512 · d9fe512
1 parent b122cbb
commit d9fe512
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/src/EVM.hs b/src/EVM.hs
@@ -295,6 +295,7 @@ canFetchAccount addr = do
   use (#env % #contracts % at addr) >>= \case
     Just _ -> pure True
     Nothing -> case addr of
+      LitAddr 0 -> pure False -- zero address is not a valid contract, but may occur in some cases
       LitAddr _ -> pure True
       SymAddr _ -> pure False
       GVar _ -> internalError "GVar not allowed here"