Fix rev. 1.37 some more.

diff --git a/src/lib/empthread/pthread.c b/src/lib/empthread/pthread.c
index 07d5bbec113d2f239b140a84234e94cff36bec00..39988e7d71826afd835e363bae406c5abe5061e3 100644 (file)
--- a/src/lib/empthread/pthread.c
+++ b/src/lib/empthread/pthread.c
@@ -53,6 +53,7 @@
 
 #include "misc.h"
 #include "empthread.h"
+#include "prototypes.h"
 
 #define EMPTH_KILLED  1