gentoo-mirror/gentoo
1
0
Fork 0
mirror of https://github.com/gentoo-mirror/gentoo.git synced 2026-09-24 17:09:10 -07:00
Code Issues Projects Releases Wiki Activity

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

Browse Source 
Gentoo-bug: 594158

Package-Manager: portage-2.3.0
This commit is contained in:
David Seifert
2016-09-18 01:00:00 +02:00
parent 8695c00fa2
commit 6eadf71b58
1 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
sci-mathematics/minisat/files/minisat-2.2.0_p20130925-nusmv.patch
View File

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