diff options
| author | David Seifert <soap@gentoo.org> | 2016-09-18 01:00:00 +0200 |
|---|---|---|
| committer | David Seifert <soap@gentoo.org> | 2016-09-18 01:00:00 +0200 |
| commit | 6eadf71b5890be8fbaf34831d8b50d2d62e04794 (patch) | |
| tree | e086a7187f1fe72651e8c4345c7490fb0f81a4d2 | |
| parent | 8695c00fa2a0ae559b1b27c2b886eabac1500aee (diff) | |
| download | gentoo-6eadf71b5890be8fbaf34831d8b50d2d62e04794.tar.gz gentoo-6eadf71b5890be8fbaf34831d8b50d2d62e04794.tar.bz2 gentoo-6eadf71b5890be8fbaf34831d8b50d2d62e04794.zip | |
sci-mathematics/minisat: Allow for compiling with GCC 6
Gentoo-bug: 594158
Package-Manager: portage-2.3.0
| -rw-r--r-- | sci-mathematics/minisat/files/minisat-2.2.0_p20130925-nusmv.patch | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/sci-mathematics/minisat/files/minisat-2.2.0_p20130925-nusmv.patch b/sci-mathematics/minisat/files/minisat-2.2.0_p20130925-nusmv.patch index 96808be3c7f3..4b17c8fb44bb 100644 --- a/sci-mathematics/minisat/files/minisat-2.2.0_p20130925-nusmv.patch +++ b/sci-mathematics/minisat/files/minisat-2.2.0_p20130925-nusmv.patch @@ -229,7 +229,7 @@ + return (MiniSat_ptr)s; +} + -+extern "C"void MiniSat_Delete(MiniSat_ptr ms) ++extern "C" void MiniSat_Delete(MiniSat_ptr ms) +{ + delete (Minisat::SimpSolver *)ms; +} |