From a2fb4fc589d54ff776ec9b20a0849b9926fbb345 Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Mon, 4 Jan 2016 22:49:28 -0800 Subject: [PATCH] remove tabs, fix build Signed-off-by: Nikolaj Bjorner --- 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: