From 9dd4d7b011886d3948ac7548eba337a08d5c04a5 Mon Sep 17 00:00:00 2001 From: "Christoph M. Wintersteiger" Date: Sun, 21 Dec 2014 20:43:26 +0000 Subject: [PATCH] Python API bugfix. Thanks to Tom Ball for reporting this one. Signed-off-by: Christoph M. Wintersteiger --- src/api/python/z3.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/api/python/z3.py b/src/api/python/z3.py index 720335d41..bb0212820 100644 --- a/src/api/python/z3.py +++ b/src/api/python/z3.py @@ -6058,7 +6058,7 @@ class Solver(Z3PPObject): e = es[sz1].as_ast() else: e = BoolVal(True, self.ctx).as_ast() - return Z3_benchmark_to_smtlib_string(self.ctx.ref(), "benchmark generated from python API", "", "unknown", "", sz1, v, e) + return Z3_benchmark_to_smtlib_string(self.ctx.ref(), "benchmark generated from python API", "", "unknown", "", sz1, v, e)