diff --git a/src/api/python/z3types.py b/src/api/python/z3types.py
index 593312d68..5d59368ff 100644
--- a/src/api/python/z3types.py
+++ b/src/api/python/z3types.py
@@ -4,7 +4,7 @@ class Z3Exception(Exception):
     def __init__(self, value):
         self.value = value
     def __str__(self):
-        return repr(self.value)
+        return str(self.value)
 
 class ContextObj(ctypes.c_void_p):
   def __init__(self, context): self._as_parameter_ = context