Skip to content

Commit

Permalink
Replace deprecated use of 'imp' module
Browse files Browse the repository at this point in the history
  • Loading branch information
mrexodia committed Jan 6, 2024
1 parent ad82438 commit 2bf07ad
Showing 1 changed file with 3 additions and 2 deletions.
5 changes: 3 additions & 2 deletions miasm/ir/translators/z3_ir.py
Original file line number Diff line number Diff line change
@@ -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

Expand Down

0 comments on commit 2bf07ad

Please sign in to comment.