diff options
| author | Fabrice Desclaux <fabrice.desclaux@cea.fr> | 2017-02-15 16:22:21 +0100 |
|---|---|---|
| committer | Fabrice Desclaux <fabrice.desclaux@cea.fr> | 2017-03-13 14:13:14 +0100 |
| commit | d0727aa74bf264580e82f37abc9833b75804daca (patch) | |
| tree | e5ec4298599a5907b45d009c4da2755c6ba523c0 /miasm2/ir/translators/z3_ir.py | |
| parent | e1fc2de7e4d8662d5b97ceb7d7a9b9ba24acddaa (diff) | |
| download | miasm-d0727aa74bf264580e82f37abc9833b75804daca.tar.gz miasm-d0727aa74bf264580e82f37abc9833b75804daca.zip | |
Asmbloc: rename asm_label to AsmLabel
Diffstat (limited to 'miasm2/ir/translators/z3_ir.py')
| -rw-r--r-- | miasm2/ir/translators/z3_ir.py | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/miasm2/ir/translators/z3_ir.py b/miasm2/ir/translators/z3_ir.py index ccb14b4f..32c7637a 100644 --- a/miasm2/ir/translators/z3_ir.py +++ b/miasm2/ir/translators/z3_ir.py @@ -3,7 +3,7 @@ import operator import z3 -from miasm2.core.asmbloc import asm_label +from miasm2.core.asmbloc import AsmLabel from miasm2.ir.translators.translator import Translator log = logging.getLogger("translator_z3") @@ -121,7 +121,7 @@ class TranslatorZ3(Translator): return z3.BitVecVal(expr.arg.arg, expr.size) def from_ExprId(self, expr): - if isinstance(expr.name, asm_label) and expr.name.offset is not None: + if isinstance(expr.name, AsmLabel) and expr.name.offset is not None: return z3.BitVecVal(expr.name.offset, expr.size) else: return z3.BitVec(str(expr), expr.size) |