diff options
Diffstat (limited to 'miasm2/ir/translators/smt2.py')
| -rw-r--r-- | miasm2/ir/translators/smt2.py | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/miasm2/ir/translators/smt2.py b/miasm2/ir/translators/smt2.py index e832d3b8..21f40e54 100644 --- a/miasm2/ir/translators/smt2.py +++ b/miasm2/ir/translators/smt2.py @@ -220,8 +220,6 @@ class TranslatorSMT2(Translator): res = bvshl(res, arg) elif expr.op == ">>": res = bvlshr(res, arg) - elif expr.op == "a<<": - res = bvshl(res, arg) elif expr.op == "a>>": res = bvashr(res, arg) elif expr.op == "<<<": |