From 99d5215956fc8bd52bb4cc91bca829a2a8761a21 Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Fri, 19 Nov 2021 00:01:19 -0800 Subject: [PATCH] revert use of f format Signed-off-by: Nikolaj Bjorner --- src/api/python/z3/z3printer.py | 3 --- 1 file changed, 3 deletions(-) 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):