From e634f2987c17159c563603b3650c9aef77749ef3 Mon Sep 17 00:00:00 2001 From: "Andrew V. Jones" Date: Mon, 1 Jun 2020 18:55:48 +0100 Subject: [PATCH] Ensuring correct 'set' call is used when setting 'smtlib2_log' (#4487) Signed-off-by: Andrew V. Jones --- src/api/python/z3/z3.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/api/python/z3/z3.py b/src/api/python/z3/z3.py index e9eb003bc39..5729fd68e57 100644 --- a/src/api/python/z3/z3.py +++ b/src/api/python/z3/z3.py @@ -6470,7 +6470,7 @@ def __init__(self, solver=None, ctx=None, logFile=None): self.solver = solver Z3_solver_inc_ref(self.ctx.ref(), self.solver) if logFile is not None: - self.set("solver.smtlib2_log", logFile) + self.set("smtlib2_log", logFile) def __del__(self): if self.solver is not None and self.ctx.ref() is not None: