Ensuring correct 'set' call is used when setting 'smtlib2_log' (#4487)

Signed-off-by: Andrew V. Jones <andrew.jones@vector.com>
Z3Prover · Jun 1, 2020 · e634f29 · e634f29
1 parent 48a2d3d
commit e634f29
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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: