diff options
Diffstat (limited to 'arprec.patch')
-rw-r--r-- | arprec.patch | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/arprec.patch b/arprec.patch new file mode 100644 index 000000000000..8791ad3bf030 --- /dev/null +++ b/arprec.patch @@ -0,0 +1,9 @@ +--- a/arprec-2.2.18/src/write.cpp ++++ b/arprec-2.2.18/src/write.cpp +@@ -196,6 +196,6 @@ bool mp_real::write(ostream &s, int precision, int width, int expn_width, + + string str = to_string(precision, width, expn_width, + fmt, showpos, uppercase, fill); +- return (s << str) != 0; ++ return static_cast<bool>(s << str); + } |