From 3fde81aea6d895a2fe9337c79ae27a1fbdea527f Mon Sep 17 00:00:00 2001
From: "Christoph M. Wintersteiger" <cwinter@microsoft.com>
Date: Sat, 14 May 2016 14:29:13 +0100
Subject: [PATCH] Style

---
 src/util/mpf.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/util/mpf.cpp b/src/util/mpf.cpp
index 48d2f9765..14fb1c535 100644
--- a/src/util/mpf.cpp
+++ b/src/util/mpf.cpp
@@ -1428,7 +1428,7 @@ void mpf_manager::rem(mpf const & x, mpf const & y, mpf & o) {
         const mpf_exp_t B = x.sbits;
         mpf_exp_t D;
         do {
-            if (ST0.exponent() < (ST1.exponent()) - 1) {
+            if (ST0.exponent() < ST1.exponent() - 1) {
                 D = 0;                    
             }
             else {