From: Mathias Preiner <mathias.preiner@gmail.com>
Date: Tue, 8 Sep 2020 18:51:23 +0000 (-0700)
Subject: Fix printing of fp values. (#5041)
X-Git-Tag: cvc5-1.0.0~2887
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=2786ba1efc7d420b5eda5389edffe72b676de32b;p=cvc5.git

Fix printing of fp values. (#5041)

Fixes #5032
---

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;
 }