fix a bug in CLN rational printing where the base was ignored (was causing the new CVC3-compatibility-API system test to fail)

1 files changed, 6 insertions, 1 deletions

diff --git a/src/util/rational_cln_imp.h b/src/util/rational_cln_imp.h
index 969a8b5eb..4247a1e63 100644
--- a/src/util/rational_cln_imp.h
+++ b/src/util/rational_cln_imp.h
@@ -27,6 +27,8 @@
 #include <sstream>
 #include <cln/rational.h>
 #include <cln/input.h>
+#include <cln/io.h>
+#include <cln/output.h>
 #include <cln/rational_io.h>
 #include <cln/number_io.h>
 
@@ -299,8 +301,11 @@ public:
 
   /** Returns a string representing the rational in the given base. */
   std::string toString(int base = 10) const {
+    cln::cl_print_flags flags;
+    flags.rational_base = base;
+    flags.rational_readably = false;
     std::stringstream ss;
-    fprint(ss, d_value);
+    print_rational(ss, flags, d_value);
     return ss.str();
   }