commit: 749baee0da82080e32434b53b92a1c4db5afc4dc Author: Michael Mair-Keimberger <m.mairkeimberger <AT> gmail <DOT> com> AuthorDate: Thu Dec 12 20:47:17 2019 +0000 Commit: Aaron Bauman <bman <AT> gentoo <DOT> org> CommitDate: Thu Dec 12 20:52:15 2019 +0000 URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=749baee0
sci-mathematics/z3: remove unused patch(es) Signed-off-by: Michael Mair-Keimberger <m.mairkeimberger <AT> gmail.com> Closes: https://github.com/gentoo/gentoo/pull/13960 Signed-off-by: Aaron Bauman <bman <AT> gentoo.org> sci-mathematics/z3/files/z3-4.4.1-gcc-6.patch | 18 ------------------ 1 file changed, 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);
