summaryrefslogtreecommitdiff
path: root/include/urweb
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adam@chlipala.net>2014-12-21 13:20:11 -0500
committerGravatar Adam Chlipala <adam@chlipala.net>2014-12-21 13:20:11 -0500
commite8f0606212506de059a2ac3730d0a01ecb977c70 (patch)
treee279f8eac17705d5eb71285caed6033d691aba8d /include/urweb
parent509e9564fe6655fe79e70decf2a61a6a6d3761ba (diff)
Compatibility fix in header file
Diffstat (limited to 'include/urweb')
-rw-r--r--include/urweb/request.h1
1 files changed, 1 insertions, 0 deletions
diff --git a/include/urweb/request.h b/include/urweb/request.h
index 0b19e7f4..a15df10c 100644
--- a/include/urweb/request.h
+++ b/include/urweb/request.h
@@ -2,6 +2,7 @@
#define REQUEST_H
#include <sys/types.h>
+#include <pthread.h>
#include "types.h"