From a06f754683c04ecf8cf502b8c3c0df1384a317a3 Mon Sep 17 00:00:00 2001 From: "Christoph M. Wintersteiger" Date: Tue, 5 Jan 2016 03:31:21 -0800 Subject: [PATCH] tabs --- src/api/python/z3printer.py | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/src/api/python/z3printer.py b/src/api/python/z3printer.py index 24d0359c9..1561e6667 100644 --- a/src/api/python/z3printer.py +++ b/src/api/python/z3printer.py @@ -571,7 +571,7 @@ class Formatter: return to_format(a.as_decimal(self.precision)) def pp_string(self, a): - return to_format(a.as_string()) + return to_format(a.as_string()) def pp_bv(self, a): return to_format(a.as_string()) @@ -878,8 +878,8 @@ class Formatter: return self.pp_fp_value(a) elif z3.is_fp(a): return self.pp_fp(a, d, xs) - elif z3.is_string_value(a): - return self.pp_string(a) + elif z3.is_string_value(a): + return self.pp_string(a) elif z3.is_const(a): return self.pp_const(a) else: