diff options
-rw-r--r-- | sci-mathematics/minisat/files/minisat-2.2.0_p20130925-nusmv.patch | 2 |
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; +} |