From 980a0e97f8bea58b72a5cc064f406b9cfabfbee1 Mon Sep 17 00:00:00 2001 From: Nuno Lopes Date: Thu, 10 Sep 2015 09:32:45 +0100 Subject: [PATCH] Python 3 compat for z3.py; patch by Sarah Winkler Signed-off-by: Nuno Lopes --- 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 e4394e9b2..f561f82d7 100644 --- a/src/api/python/z3.py +++ b/src/api/python/z3.py @@ -6495,7 +6495,7 @@ class Optimize(Z3PPObject): return CheckSatResult(Z3_optimize_check(self.ctx.ref(), self.optimize)) def reason_unknown(self): - """Return a string that describes why the last `check()` returned `unknown`.""" + """Return a string that describes why the last `check()` returned `unknown`.""" return Z3_optimize_get_reason_unknown(self.ctx.ref(), self.optimize) def model(self):