From 0cb8193cdd2f2e5ae88fbc1565ddf00eaa323067 Mon Sep 17 00:00:00 2001
From: "Christoph M. Wintersteiger" <cwinter@microsoft.com>
Date: Tue, 1 Mar 2016 17:42:33 +0000
Subject: [PATCH] logic fix

---
 src/api/api_numeral.cpp | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

diff --git a/src/api/api_numeral.cpp b/src/api/api_numeral.cpp
index 491d9f597..40ebcf652 100644
--- a/src/api/api_numeral.cpp
+++ b/src/api/api_numeral.cpp
@@ -68,10 +68,10 @@ extern "C" {
                 (' ' == *m) || ('\n' == *m) ||
                 ('.' == *m) || ('e' == *m) ||
                 ('E' == *m) ||
-                (is_float &&
-                    ('p' == *m) ||
-                    ('P' == *m) ||
-                    ('+' == *m)))) {
+                (is_float && 
+                    (('p' == *m) ||
+                     ('P' == *m) ||
+                     ('+' == *m))))) {
                 SET_ERROR_CODE(Z3_PARSER_ERROR);
                 return 0;
             }