diff options
author | Morgan Deters <mdeters@gmail.com> | 2012-08-28 01:10:16 +0000 |
---|---|---|
committer | Morgan Deters <mdeters@gmail.com> | 2012-08-28 01:10:16 +0000 |
commit | cf287f593931a1c4fc141e18845b4c5d36879889 (patch) | |
tree | 4dad0f555b7db01fbeedcd9eace394cd8f7a0fb4 /src/util/rational_cln_imp.h | |
parent | b7b1c1d99ffa333704af2c8ecd60b1af8833a28b (diff) |
Improved compatibility layer, now supports quantifiers. Also incorporates
numerous bugfixes, and the cvc3 system test is enabled.
Diffstat (limited to 'src/util/rational_cln_imp.h')
-rw-r--r-- | src/util/rational_cln_imp.h | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/util/rational_cln_imp.h b/src/util/rational_cln_imp.h index 258060e02..969a8b5eb 100644 --- a/src/util/rational_cln_imp.h +++ b/src/util/rational_cln_imp.h @@ -87,7 +87,7 @@ public: * For more information about what is a valid rational string, * see GMP's documentation for mpq_set_str(). */ - explicit Rational(const char * s, int base = 10) throw (std::invalid_argument){ + explicit Rational(const char* s, unsigned base = 10) throw (std::invalid_argument){ cln::cl_read_flags flags; flags.syntax = cln::syntax_rational; @@ -101,7 +101,7 @@ public: throw std::invalid_argument(ss.str()); } } - Rational(const std::string& s, int base = 10) throw (std::invalid_argument){ + Rational(const std::string& s, unsigned base = 10) throw (std::invalid_argument){ cln::cl_read_flags flags; flags.syntax = cln::syntax_rational; |