mirror of
https://github.com/Z3Prover/z3
synced 2025-04-08 18:31:49 +00:00
Ensuring correct 'set' call is used when setting 'smtlib2_log' (#4487)
Signed-off-by: Andrew V. Jones <andrew.jones@vector.com>
This commit is contained in:
parent
48a2d3d5b6
commit
e634f2987c
|
@ -6470,7 +6470,7 @@ class Solver(Z3PPObject):
|
|||
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:
|
||||
|
|
Loading…
Reference in a new issue