diff options
Diffstat (limited to 'test/ir/translators/smt2.py')
| -rw-r--r-- | test/ir/translators/smt2.py | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/test/ir/translators/smt2.py b/test/ir/translators/smt2.py index 81f63b45..bf418f44 100644 --- a/test/ir/translators/smt2.py +++ b/test/ir/translators/smt2.py @@ -43,8 +43,8 @@ e_z3 = t_z3.from_expr(e) smt2 = t_smt2.to_smt2([t_smt2.from_expr(e)]) # parse smt2 string with z3 -smt2_z3 = parse_smt2_string(smt2) - +result = parse_smt2_string(smt2) +smt2_z3 = result[0] # initialise SMT solver s = Solver() |