1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
|
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"
|
GitWeb