diff include/types.h @ 914:782f0b4eea67

New release
author Adam Chlipala <adamc@hcoop.net>
date Tue, 25 Aug 2009 17:33:13 -0400
parents 86ec89baee01
children 217eb87dde31
line wrap: on
line diff
--- a/include/types.h	Tue Aug 25 17:12:21 2009 -0400
+++ b/include/types.h	Tue Aug 25 17:33:13 2009 -0400
@@ -2,6 +2,7 @@
 #define URWEB_TYPES_H
 
 #include <time.h>
+#include <unistd.h>
 
 typedef long long uw_Basis_int;
 typedef double uw_Basis_float;