diff options
Diffstat (limited to '')
| -rw-r--r-- | miasm2/ir/translators/smt2.py | 4 |
1 files changed, 1 insertions, 3 deletions
diff --git a/miasm2/ir/translators/smt2.py b/miasm2/ir/translators/smt2.py index b2e11b5b..dd950074 100644 --- a/miasm2/ir/translators/smt2.py +++ b/miasm2/ir/translators/smt2.py @@ -135,9 +135,7 @@ class TranslatorSMT2(Translator): def from_ExprId(self, expr): if isinstance(expr.name, asm_label) and expr.name.offset is not None: - if expr.name.offset not in self._bitvectors: - self._bitvectors[str(expr.name.offset)] = expr.size - return str(expr.name.offset) + return bit_vec_val(str(expr.name.offset), expr.size) else: if str(expr) not in self._bitvectors: |