From 2f08040403ba4eaec74bdf0f3a52825b022780fc Mon Sep 17 00:00:00 2001
From: "Christoph M. Wintersteiger" <cwinter@microsoft.com>
Date: Tue, 29 Dec 2015 16:00:07 +0000
Subject: [PATCH] typo

---
 src/api/python/z3.py | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/api/python/z3.py b/src/api/python/z3.py
index 97f2d1ecc..17fa92af5 100644
--- a/src/api/python/z3.py
+++ b/src/api/python/z3.py
@@ -8321,7 +8321,7 @@ def _to_float_str(val, exp=0):
         num = v[0]
         den = v[1]
         rvs = str(num) + '/' + str(den)
-        res = rvs + 'p' +_to_int_str(exp)
+        res = rvs + 'p' + _to_int_str(exp)
     elif isinstance(val, bool):
         if val:
             res = "1.0"