diff options
Diffstat (limited to 'test/ir/translators/smt2.py')
| -rw-r--r-- | test/ir/translators/smt2.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/test/ir/translators/smt2.py b/test/ir/translators/smt2.py index 838b0bc5..2b5c8df3 100644 --- a/test/ir/translators/smt2.py +++ b/test/ir/translators/smt2.py @@ -19,7 +19,7 @@ right = ExprCond(cond, a + ExprInt(0x64L, 64), ExprInt(0x16L, 64)) -e = ExprAff(left, right) +e = ExprAssign(left, right) # initialise translators t_z3 = TranslatorZ3() |