# HG changeset patch
# User Adam Chlipala <adam@chlipala.net>
# Date 1419186011 18000
# Node ID 35c1341b01799e7dfc94fdc78aa9c6879f5198f7
# Parent  9a15475967129c4ad298f9eee0968d692bbc594e
Compatibility fix in header file

diff -r 9a1547596712 -r 35c1341b0179 include/urweb/request.h
--- a/include/urweb/request.h	Thu Dec 18 07:48:37 2014 -0500
+++ b/include/urweb/request.h	Sun Dec 21 13:20:11 2014 -0500
@@ -2,6 +2,7 @@
 #define REQUEST_H
 
 #include <sys/types.h>
+#include <pthread.h>
 
 #include "types.h"