diff options
Diffstat (limited to '')
| -rw-r--r-- | miasm/ir/translators/smt2.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/miasm/ir/translators/smt2.py b/miasm/ir/translators/smt2.py index f5392da7..c4260eb4 100644 --- a/miasm/ir/translators/smt2.py +++ b/miasm/ir/translators/smt2.py @@ -133,7 +133,7 @@ class TranslatorSMT2(Translator): self.loc_db = loc_db def from_ExprInt(self, expr): - return bit_vec_val(expr.arg.arg, expr.size) + return bit_vec_val(int(expr), expr.size) def from_ExprId(self, expr): if str(expr) not in self._bitvectors: |