1 files changed, 0 insertions, 41 deletions
diff --git a/sci-mathematics/minisatp/files/minisatp-0.1_p20121002-fix-build-errors.patch b/sci-mathematics/minisatp/files/minisatp-0.1_p20121002-fix-build-errors.patch
deleted file mode 100644
index 850845f3a..000000000
--- a/sci-mathematics/minisatp/files/minisatp-0.1_p20121002-fix-build-errors.patch
+++ /dev/null
@@ -1,41 +0,0 @@
-diff '--color=auto' -ru /var/tmp/portage/sci-mathematics/minisatp-0.1_p20121002/work/minisatp-d91742bcd18bf9dc9b5e94f48a4aa59d3c954fd2/Debug.h minisatp-d91742bcd18bf9dc9b5e94f48a4aa59d3c954fd2/Debug.h
---- /var/tmp/portage/sci-mathematics/minisatp-0.1_p20121002/work/minisatp-d91742bcd18bf9dc9b5e94f48a4aa59d3c954fd2/Debug.h	2012-10-02 13:42:07.000000000 +0200
-+++ minisatp-d91742bcd18bf9dc9b5e94f48a4aa59d3c954fd2/Debug.h	2022-04-29 02:47:15.776380427 +0200
-@@ -24,6 +24,10 @@
- #include "PbSolver.h"
- #include "FEnv.h"
- 
-+using Minisat::l_True;
-+using Minisat::l_False;
-+using Minisat::l_Undef;
-+using Minisat::toInt;
- 
- //=================================================================================================
- 
-diff '--color=auto' -ru /var/tmp/portage/sci-mathematics/minisatp-0.1_p20121002/work/minisatp-d91742bcd18bf9dc9b5e94f48a4aa59d3c954fd2/Hardware.h minisatp-d91742bcd18bf9dc9b5e94f48a4aa59d3c954fd2/Hardware.h
---- /var/tmp/portage/sci-mathematics/minisatp-0.1_p20121002/work/minisatp-d91742bcd18bf9dc9b5e94f48a4aa59d3c954fd2/Hardware.h	2012-10-02 13:42:07.000000000 +0200
-+++ minisatp-d91742bcd18bf9dc9b5e94f48a4aa59d3c954fd2/Hardware.h	2022-04-29 02:48:41.173081698 +0200
-@@ -23,6 +23,9 @@
- #include "PbSolver.h"
- #include "FEnv.h"
- 
-+using Minisat::lit_Undef;
-+using Minisat::var_Undef;
-+
- //=================================================================================================
- 
- 
-diff '--color=auto' -ru /var/tmp/portage/sci-mathematics/minisatp-0.1_p20121002/work/minisatp-d91742bcd18bf9dc9b5e94f48a4aa59d3c954fd2/PbSolver.h minisatp-d91742bcd18bf9dc9b5e94f48a4aa59d3c954fd2/PbSolver.h
---- /var/tmp/portage/sci-mathematics/minisatp-0.1_p20121002/work/minisatp-d91742bcd18bf9dc9b5e94f48a4aa59d3c954fd2/PbSolver.h	2012-10-02 13:42:07.000000000 +0200
-+++ minisatp-d91742bcd18bf9dc9b5e94f48a4aa59d3c954fd2/PbSolver.h	2022-04-29 02:46:20.361276449 +0200
-@@ -31,7 +31,9 @@
- using Minisat::SimpSolver;
- using Minisat::lbool;
- using Minisat::mkLit;
--using Minisat::lit_Undef;
-+using Minisat::l_Undef;
-+using Minisat::l_True;
-+using Minisat::l_False;
- 
- //=================================================================================================
- // Linear -- a class for storing pseudo-boolean constraints: