Removed potentially unnecessary string decoding in Python API.

Z3Prover · Nov 23, 2015 · 5e37cf9 · 5e37cf9
1 parent 6aa5ec9
commit 5e37cf9
Showing 1 changed file with 1 addition and 7 deletions.
diff --git 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