sci-mathematics/minisat: Allow for compiling with GCC 6

Gentoo-bug: 594158

Package-Manager: portage-2.3.0

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 96808be3c7f337bf5f368de44b176e7a99df53b1..4b17c8fb44bbd8f87f98c0b1a0c675cf434e1368 100644 (file)
--- 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;
 +}