diff --git a/manticore/platforms/evm_world_state.py b/manticore/platforms/evm_world_state.py
index 91ad55353..805ff4203 100644
--- a/manticore/platforms/evm_world_state.py
+++ b/manticore/platforms/evm_world_state.py
@@ -3,7 +3,7 @@
 from abc import ABC, abstractmethod
 from typing import Dict, Optional, Set, Union
 from urllib.parse import ParseResult, urlparse
-from web3 import Web3  # type: ignore
+from web3 import Web3
 from ..exceptions import EthereumError
 from ..core.smtlib import Array, BitVec, BitVecConstant, BitVecITE, BitVecZeroExtend, ConstraintSet
 
diff --git a/mypy.ini b/mypy.ini
index f4c2c4bc7..15b1f84f6 100644
--- a/mypy.ini
+++ b/mypy.ini
@@ -42,3 +42,6 @@ ignore_missing_imports = True
 
 [mypy-wasm.*]
 ignore_missing_imports = True
+
+[mypy-web3.*]
+ignore_missing_imports = True