Fix the previous revision.

diff --git a/src/lib/empthread/pthread.c b/src/lib/empthread/pthread.c
index 8460daac562babc2414a9848f73193f0877c869f..07d5bbec113d2f239b140a84234e94cff36bec00 100644 (file)
--- a/src/lib/empthread/pthread.c
+++ b/src/lib/empthread/pthread.c
@@ -43,6 +43,7 @@
 #include <signal.h>
 #include <stdarg.h>
 #include <stdio.h>
+#include <stdlib.h>
 #include <string.h>
 #include <sys/types.h>
 #if !defined(_WIN32)