From 5e37cf9bbfbefc4aac24127ba7a7d8a1cc192f44 Mon Sep 17 00:00:00 2001 From: "Christoph M. Wintersteiger" Date: Mon, 23 Nov 2015 18:41:31 +0000 Subject: [PATCH] Removed potentially unnecessary string decoding in Python API. --- src/api/python/z3printer.py | 8 +------- 1 file changed, 1 insertion(+), 7 deletions(-) diff --git a/src/api/python/z3printer.py b/src/api/python/z3printer.py index 2a242865ebf..5116046dda8 100644 --- a/src/api/python/z3printer.py +++ b/src/api/python/z3printer.py @@ -1157,13 +1157,7 @@ def set_pp_option(k, v): def obj_to_string(a): out = io.StringIO() _PP(out, _Formatter(a)) - r = out.getvalue() - if sys.version < '3': - return r - else: - enc = sys.stdout.encoding - if enc != None: return r.decode(enc) - return r + return out.getvalue() _html_out = None