1 files changed, 0 insertions, 119 deletions
diff --git a/sci-electronics/alliance/files/alliance-5.0.20110203-impl-dec.patch b/sci-electronics/alliance/files/alliance-5.0.20110203-impl-dec.patch
deleted file mode 100644
index c1ef31619167..000000000000
--- a/sci-electronics/alliance/files/alliance-5.0.20110203-impl-dec.patch
+++ /dev/null
@@ -1,119 +0,0 @@
- dreal/src/GRD_error.c    |    1 +
- lynx/src/cutelbow.c      |    1 +
- lynx/src/parse.c         |    1 +
- mips_asm/src/mips_util.c |    1 +
- proof/src/proof_main.c   |    1 +
- proof/src/proof_util.c   |    1 +
- xfsm/src/XFS_error.c     |    1 +
- xgra/src/XGR_error.c     |    1 +
- xsch/src/XSC_error.c     |    1 +
- 9 files changed, 9 insertions(+), 0 deletions(-)
-
-diff --git a/dreal/src/GRD_error.c b/dreal/src/GRD_error.c
-index e3baba6..c00bf13 100644
---- a/dreal/src/GRD_error.c
-+++ b/dreal/src/GRD_error.c
-@@ -46,6 +46,7 @@
- # include <stdlib.h>
- # include <signal.h>
- # include <setjmp.h>
-+# include <string.h>
- # include "mut.h"
- # include "mph.h"
- # include "rds.h"
-diff --git a/lynx/src/cutelbow.c b/lynx/src/cutelbow.c
-index 7411f35..306649b 100644
---- a/lynx/src/cutelbow.c
-+++ b/lynx/src/cutelbow.c
-@@ -43,6 +43,7 @@
- \------------------------------------------------------------*/
- 
- # include <stdio.h>
-+# include <string.h>
- 
- # include "mut.h"
- # include "mlo.h"
-diff --git a/lynx/src/parse.c b/lynx/src/parse.c
-index ed8a2e5..9077c3f 100644
---- a/lynx/src/parse.c
-+++ b/lynx/src/parse.c
-@@ -43,6 +43,7 @@
- \------------------------------------------------------------*/
- 
- # include <stdio.h>
-+# include <string.h>
- 
- # include "mut.h"
- # include "mlo.h"
-diff --git a/mips_asm/src/mips_util.c b/mips_asm/src/mips_util.c
-index f5fa55f..5ad6a4f 100644
---- a/mips_asm/src/mips_util.c
-+++ b/mips_asm/src/mips_util.c
-@@ -30,6 +30,7 @@
- /* ###--------------------------------------------------------------### */
- 	
- #include <stdio.h>
-+#include <string.h>
- #include "mut.h"
- #include "log.h"
- #include "beh.h"
-diff --git a/proof/src/proof_main.c b/proof/src/proof_main.c
-index b6eee94..3d8a91a 100644
---- a/proof/src/proof_main.c
-+++ b/proof/src/proof_main.c
-@@ -32,6 +32,7 @@
- 
- #include <stdio.h>
- #include <stdlib.h>
-+#include <string.h>
- #include "mut.h"
- #include "log.h"
- #include "beh.h"
-diff --git a/proof/src/proof_util.c b/proof/src/proof_util.c
-index 841937f..fa20ba1 100644
---- a/proof/src/proof_util.c
-+++ b/proof/src/proof_util.c
-@@ -31,6 +31,7 @@
- 
- #include <stdio.h>
- #include <stdlib.h>
-+#include <string.h>
- 
- #include "mut.h"
- #include "log.h"
-diff --git a/xfsm/src/XFS_error.c b/xfsm/src/XFS_error.c
-index 20ccd0a..5aded2b 100644
---- a/xfsm/src/XFS_error.c
-+++ b/xfsm/src/XFS_error.c
-@@ -46,6 +46,7 @@
- # include <stdlib.h>
- # include <signal.h>
- # include <setjmp.h>
-+# include <string.h>
- # include "mut.h"
- # include "aut.h"
- # include "abl.h"
-diff --git a/xgra/src/XGR_error.c b/xgra/src/XGR_error.c
-index 3204423..b2d35c5 100644
---- a/xgra/src/XGR_error.c
-+++ b/xgra/src/XGR_error.c
-@@ -46,6 +46,7 @@
- # include <stdlib.h>
- # include <signal.h>
- # include <setjmp.h>
-+# include <string.h>
- # include "mut.h"
- # include "aut.h"
- # include "XSB.h"
-diff --git a/xsch/src/XSC_error.c b/xsch/src/XSC_error.c
-index 9bdf65e..b8c5689 100644
---- a/xsch/src/XSC_error.c
-+++ b/xsch/src/XSC_error.c
-@@ -46,6 +46,7 @@
- # include <stdlib.h>
- # include <signal.h>
- # include <setjmp.h>
-+# include <string.h>
- # include "mut.h"
- # include "aut.h"
- # include "mlo.h"