From 0ab54b9e0c3321c4dfca543b890b63df1576fdd2 Mon Sep 17 00:00:00 2001
From: "Christoph M. Wintersteiger" <cwinter@microsoft.com>
Date: Wed, 21 Jan 2015 19:43:26 +0000
Subject: [PATCH] bugfix for FPA numerals

Signed-off-by: Christoph M. Wintersteiger <cwinter@microsoft.com>
---
 src/api/api_numeral.cpp | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

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