Fix printing of fp values. (#5041)

Fixes #5032

diff --git a/src/util/floatingpoint.cpp b/src/util/floatingpoint.cpp
index 7403c340b41e5af287b2cf75daff83d95d6b8c16..6c82d8210125084b7220631107ff227b6316de64 100644 (file)
--- 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;
 }