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;
+}
