header needed on linux

2017-06-28 13:37:26 -04:00 · 2017-06-28 13:37:26 -04:00 · c979c9700e
parent e21257f3e3
commit c979c9700e
1 changed files with 1 additions and 0 deletions
--- a/com.ibm.wala.cast.test/harness-src/c/smoke_main.cpp
+++ b/com.ibm.wala.cast.test/harness-src/c/smoke_main.cpp
@ -1,5 +1,6 @@
 #include "launch.h"
 #include <stdlib.h>
+#include <string.h>
 #include <strings.h>

 int main(int argc, char **argv) {