diff options
Diffstat (limited to 'test/ir/translators/smt2.py')
| -rw-r--r-- | test/ir/translators/smt2.py | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/test/ir/translators/smt2.py b/test/ir/translators/smt2.py index 78472d0a..81f63b45 100644 --- a/test/ir/translators/smt2.py +++ b/test/ir/translators/smt2.py @@ -1,7 +1,7 @@ from z3 import Solver, unsat, parse_smt2_string -from miasm2.expression.expression import * -from miasm2.ir.translators.smt2 import TranslatorSMT2 -from miasm2.ir.translators.z3_ir import TranslatorZ3 +from miasm.expression.expression import * +from miasm.ir.translators.smt2 import TranslatorSMT2 +from miasm.ir.translators.z3_ir import TranslatorZ3 # create nested expression a = ExprId("a", 64) |