diff options
| author | Camille Mougey <commial@gmail.com> | 2018-10-06 16:43:55 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-10-06 16:43:55 +0200 |
| commit | 369371ca24c5f4fd6670cb36b80fbd29650de7d0 (patch) | |
| tree | 7b9b319f3f365cb8b71b5dcf1f07f13559798513 /miasm2/ir/translators/smt2.py | |
| parent | 75b389f70e7cc6640cbfb62268ba89f8985be1ed (diff) | |
| parent | 9c4c548e372311f6d685647b3cfed35e1579ad54 (diff) | |
| download | miasm-369371ca24c5f4fd6670cb36b80fbd29650de7d0.tar.gz miasm-369371ca24c5f4fd6670cb36b80fbd29650de7d0.zip | |
Merge pull request #855 from serpilliere/exprassign
Exprassign
Diffstat (limited to '')
| -rw-r--r-- | miasm2/ir/translators/smt2.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/miasm2/ir/translators/smt2.py b/miasm2/ir/translators/smt2.py index f285c92a..408eb53f 100644 --- a/miasm2/ir/translators/smt2.py +++ b/miasm2/ir/translators/smt2.py @@ -278,7 +278,7 @@ class TranslatorSMT2(Translator): return res - def from_ExprAff(self, expr): + def from_ExprAssign(self, expr): src = self.from_expr(expr.src) dst = self.from_expr(expr.dst) return smt2_assert(smt2_eq(src, dst)) |