diff options
Diffstat (limited to '')
| -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 1b0578b7..a481acd7 100644 --- a/miasm2/ir/translators/z3_ir.py +++ b/miasm2/ir/translators/z3_ir.py @@ -1,6 +1,5 @@ import imp import logging -import operator # Raise an ImportError if z3 is not available WITHOUT actually importing it imp.find_module("z3") |