diff --git a/src/api/python/z3/z3printer.py b/src/api/python/z3/z3printer.py
index 7972431dd..228f212d9 100644
--- a/src/api/python/z3/z3printer.py
+++ b/src/api/python/z3/z3printer.py
@@ -1157,9 +1157,6 @@ class Formatter:
                 return self.pp_pbcmp(a, d, f, xs)
             elif k == Z3_OP_PB_EQ:
                 return self.pp_pbcmp(a, d, f, xs)
-            elif k == Z3_OP_SEQ_UNIT and z3.is_app(a.arg(0)) and a.arg(0).decl().kind() == Z3_OP_CHAR_CONST:
-                n = a.arg(0).params()[0]
-                return to_format("\"" + f"{chr(n)}" + "\"")
             elif z3.is_pattern(a):
                 return self.pp_pattern(a, d, xs)
             elif self.is_infix(k):