diff options
| author |   Michał Górny <mgorny@gentoo.org> | 2019-04-10 16:34:28 +0200 |
|---|---|---|
| committer | Michał Górny <mgorny@gentoo.org> | 2019-04-10 17:07:25 +0200 |
| commit | 6785f3b5e8a6e7969ed07ed59c5b2e7a82aea188 (patch) | |
| tree | ddbf4ccf8c377661717a1832315d269fe25325a4 /sci-mathematics/z3/files | |
| parent | net-misc/miniupnpd: Drop old (diff) | |
| download | gentoo-6785f3b5e8a6e7969ed07ed59c5b2e7a82aea188.tar.gz gentoo-6785f3b5e8a6e7969ed07ed59c5b2e7a82aea188.tar.bz2 gentoo-6785f3b5e8a6e7969ed07ed59c5b2e7a82aea188.zip | |
sci-mathematics/z3: Drop old
Signed-off-by: Michał Górny <mgorny@gentoo.org>
Diffstat (limited to 'sci-mathematics/z3/files')
| -rw-r--r-- | sci-mathematics/z3/files/z3-4.4.1-gcc-6.patch | 18 |
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 2dc0ddd12f26..000000000000 --- 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); |