From 6eadf71b5890be8fbaf34831d8b50d2d62e04794 Mon Sep 17 00:00:00 2001 From: David Seifert Date: Sun, 18 Sep 2016 01:00:00 +0200 Subject: [PATCH] sci-mathematics/minisat: Allow for compiling with GCC 6 Gentoo-bug: 594158 Package-Manager: portage-2.3.0 --- .../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 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; +} -- 2.26.2