From 2786ba1efc7d420b5eda5389edffe72b676de32b Mon Sep 17 00:00:00 2001
From: Mathias Preiner <mathias.preiner@gmail.com>
Date: Tue, 8 Sep 2020 11:51:23 -0700
Subject: [PATCH] Fix printing of fp values. (#5041)

Fixes #5032
---
 src/util/floatingpoint.cpp | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/util/floatingpoint.cpp b/src/util/floatingpoint.cpp
index 7403c340b..6c82d8210 100644
--- a/src/util/floatingpoint.cpp
+++ b/src/util/floatingpoint.cpp
@@ -993,6 +993,7 @@ std::string FloatingPoint::toString(bool printAsIndexed) const
       str.append(" ");
     }
   }
+  str.append(")");
   return str;
 }
 
-- 
2.30.2