summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorMichael Mair-Keimberger <m.mairkeimberger@gmail.com>2019-12-12 21:47:17 +0100
committerAaron Bauman <bman@gentoo.org>2019-12-12 15:52:15 -0500
commit749baee0da82080e32434b53b92a1c4db5afc4dc (patch)
tree51f76d31264d3324baa9ec8314bc0b50810e4c70
parentmedia-plugins/tap-plugins: remove unused patch (diff)
downloadgentoo-749baee0da82080e32434b53b92a1c4db5afc4dc.tar.gz
gentoo-749baee0da82080e32434b53b92a1c4db5afc4dc.tar.bz2
gentoo-749baee0da82080e32434b53b92a1c4db5afc4dc.zip
sci-mathematics/z3: remove unused patch(es)
Signed-off-by: Michael Mair-Keimberger <m.mairkeimberger@gmail.com> Closes: https://github.com/gentoo/gentoo/pull/13960 Signed-off-by: Aaron Bauman <bman@gentoo.org>
-rw-r--r--sci-mathematics/z3/files/z3-4.4.1-gcc-6.patch18
1 files changed, 0 insertions, 18 deletions
diff --git a/sci-mathematics/z3/files/z3-4.4.1-gcc-6.patch b/sci-mathematics/z3/files/z3-4.4.1-gcc-6.patch
deleted file mode 100644
index 2dc0ddd12f2..00000000000
--- a/sci-mathematics/z3/files/z3-4.4.1-gcc-6.patch
+++ /dev/null
@@ -1,18 +0,0 @@
-diff --git a/src/util/debug.cpp b/src/util/debug.cpp
-index 54c67fe..66676c6 100644
---- a/src/util/debug.cpp
-+++ b/src/util/debug.cpp
-@@ -78,3 +78,3 @@ void invoke_gdb() {
- char result;
-- bool ok = (std::cin >> result);
-+ bool ok = bool(std::cin >> result);
- if (!ok) exit(ERR_INTERNAL_FATAL); // happens if std::cin is eof or unattached.
-diff --git a/src/util/mpz.cpp b/src/util/mpz.cpp
-index 8559279..7dca14b 100644
---- a/src/util/mpz.cpp
-+++ b/src/util/mpz.cpp
-@@ -136,3 +136,3 @@ mpz_manager<SYNCH>::mpz_manager():
- mpz one(1);
-- set(m_two64, UINT64_MAX);
-+ set(m_two64, (uint64)UINT64_MAX);
- add(m_two64, one, m_two64);