linux perhaps needs more headers

2017-06-28 13:12:26 -04:00 · 2017-06-28 13:12:26 -04:00 · 2c5fb1aa1b
parent 5c242e8e10
commit 2c5fb1aa1b
1 changed files with 1 additions and 0 deletions
--- a/com.ibm.wala.cast/source/c/jni/launch.cpp
+++ b/com.ibm.wala.cast/source/c/jni/launch.cpp
@ -1,6 +1,7 @@
 #include <jni.h>
 #include <iostream>
 #include <string>
+#include <string.h>
 #include <strings.h>
 #include "Exceptions.h"
 #include "CAstWrapper.h"