commit: 6eadf71b5890be8fbaf34831d8b50d2d62e04794 Author: David Seifert <soap <AT> gentoo <DOT> org> AuthorDate: Sat Sep 17 23:00:00 2016 +0000 Commit: David Seifert <soap <AT> gentoo <DOT> org> CommitDate: Sat Sep 17 23:00:00 2016 +0000 URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=6eadf71b
sci-mathematics/minisat: Allow for compiling with GCC 6 Gentoo-bug: 594158 Package-Manager: portage-2.3.0 sci-mathematics/minisat/files/minisat-2.2.0_p20130925-nusmv.patch | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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 96808be..4b17c8f 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; +}