diff options
author | Adam Chlipala <adam@chlipala.net> | 2014-12-21 13:20:11 -0500 |
---|---|---|
committer | Adam Chlipala <adam@chlipala.net> | 2014-12-21 13:20:11 -0500 |
commit | e8f0606212506de059a2ac3730d0a01ecb977c70 (patch) | |
tree | e279f8eac17705d5eb71285caed6033d691aba8d /include/urweb | |
parent | 509e9564fe6655fe79e70decf2a61a6a6d3761ba (diff) |
Compatibility fix in header file
Diffstat (limited to 'include/urweb')
-rw-r--r-- | include/urweb/request.h | 1 |
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" |