diff options
Diffstat (limited to 'arprec.patch')
-rw-r--r-- | arprec.patch | 9 |
1 files changed, 0 insertions, 9 deletions
diff --git a/arprec.patch b/arprec.patch deleted file mode 100644 index 8791ad3bf030..000000000000 --- a/arprec.patch +++ /dev/null @@ -1,9 +0,0 @@ ---- 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); - } |