From ed1e8b73edeb170fcdbf2eb751fe16ddc16de46d Mon Sep 17 00:00:00 2001
From: "Christoph M. Wintersteiger" <cwinter@microsoft.com>
Date: Thu, 17 Dec 2015 17:39:23 +0000
Subject: [PATCH] formatting

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

diff --git a/src/api/api_fpa.cpp b/src/api/api_fpa.cpp
index daef12d20..3987ca23d 100644
--- a/src/api/api_fpa.cpp
+++ b/src/api/api_fpa.cpp
@@ -939,7 +939,7 @@ extern "C" {
         }
         else if (!mpfm.is_regular(val)) {
             SET_ERROR_CODE(Z3_INVALID_ARG)
-                return "";
+            return "";
         }
         unsigned sbits = val.get().get_sbits();
         scoped_mpq q(mpqm);
@@ -992,7 +992,7 @@ extern "C" {
         }
         else if (!mpfm.is_normal(val) && !mpfm.is_denormal(val)) {
             SET_ERROR_CODE(Z3_INVALID_ARG)
-                return "";
+            return "";
         }
         mpf_exp_t exp = mpfm.exp_normalized(val);
         std::stringstream ss;