diff options
| author | Duncan Ogilvie <mr.exodia.tpodt@gmail.com> | 2024-01-06 18:34:48 +0100 |
|---|---|---|
| committer | Duncan Ogilvie <mr.exodia.tpodt@gmail.com> | 2024-01-06 18:37:17 +0100 |
| commit | 2bf07ad1eb835e12b4b3dbaf42f71adf888a8cc1 (patch) | |
| tree | 17718031046a1e912072db057993b478aa0ce06e | |
| parent | ad82438c448597b0c6470eef697a2c1b5f721ef1 (diff) | |
| download | miasm-2bf07ad1eb835e12b4b3dbaf42f71adf888a8cc1.tar.gz miasm-2bf07ad1eb835e12b4b3dbaf42f71adf888a8cc1.zip | |
Replace deprecated use of 'imp' module
| -rw-r--r-- | miasm/ir/translators/z3_ir.py | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/miasm/ir/translators/z3_ir.py b/miasm/ir/translators/z3_ir.py index 4b674c4e..c72ff36f 100644 --- a/miasm/ir/translators/z3_ir.py +++ b/miasm/ir/translators/z3_ir.py @@ -1,10 +1,11 @@ from builtins import map from builtins import range -import imp +import importlib.util import logging # Raise an ImportError if z3 is not available WITHOUT actually importing it -imp.find_module("z3") +if importlib.util.find_spec("z3") is None: + raise ImportError("No module named 'z3'") from miasm.ir.translators.translator import Translator |