diff options
Diffstat (limited to 'miasm2/ir/translators/z3_ir.py')
| -rw-r--r-- | miasm2/ir/translators/z3_ir.py | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/miasm2/ir/translators/z3_ir.py b/miasm2/ir/translators/z3_ir.py index aae72338..033c6053 100644 --- a/miasm2/ir/translators/z3_ir.py +++ b/miasm2/ir/translators/z3_ir.py @@ -3,7 +3,6 @@ import operator import z3 -import miasm2.expression.expression as m2_expr from miasm2.ir.translators.translator import Translator log = logging.getLogger("translator_z3") |