diff options
author | Morgan Deters <mdeters@gmail.com> | 2012-08-28 17:14:59 +0000 |
---|---|---|
committer | Morgan Deters <mdeters@gmail.com> | 2012-08-28 17:14:59 +0000 |
commit | b75096dde1f691e14e0300acfb8ea648e7331b2a (patch) | |
tree | 2c42ef10d26532f0a9f0408546c033b442218c56 /src | |
parent | 8f3c8fb68976de7dc970020ce8add61431dccf02 (diff) |
fix a bug in CLN rational printing where the base was ignored (was causing the new CVC3-compatibility-API system test to fail)
Diffstat (limited to 'src')
-rw-r--r-- | src/util/rational_cln_imp.h | 7 |
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(); } |