diff options
| author | serpilliere <serpilliere@users.noreply.github.com> | 2015-02-17 12:23:42 +0100 |
|---|---|---|
| committer | serpilliere <serpilliere@users.noreply.github.com> | 2015-02-17 12:23:42 +0100 |
| commit | c47688a9e8e049165a76b9bb3281c0381fa2d12f (patch) | |
| tree | c1f68a979bfac603a3beccea678d4b8cfe3391dc /miasm2/ir/translators/z3_ir.py | |
| parent | 13a3fcbb168589703d56d6c36312d788f68786e3 (diff) | |
| parent | 0fcd954e10351f914b37a96d498aec39feb30b24 (diff) | |
| download | miasm-c47688a9e8e049165a76b9bb3281c0381fa2d12f.tar.gz miasm-c47688a9e8e049165a76b9bb3281c0381fa2d12f.zip | |
Merge pull request #71 from commial/pylinting
Pylinting
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") |