summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorDavid Seifert <soap@gentoo.org>2016-09-18 01:00:00 +0200
committerDavid Seifert <soap@gentoo.org>2016-09-18 01:00:00 +0200
commit6eadf71b5890be8fbaf34831d8b50d2d62e04794 (patch)
treee086a7187f1fe72651e8c4345c7490fb0f81a4d2
parentx11-misc/fbdesk: Allow for compiling with GCC 6 (diff)
downloadgentoo-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.patch2
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;
+}