From: David Seifert <soap@gentoo.org>
Date: Sat, 17 Sep 2016 23:00:00 +0000 (+0200)
Subject: sci-mathematics/minisat: Allow for compiling with GCC 6
X-Git-Url: http://git.tremily.us/gitweb.cgi?a=commitdiff_plain;h=6eadf71b5890be8fbaf34831d8b50d2d62e04794;p=gentoo.git

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