summaryrefslogtreecommitdiff
path: root/include
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adamc@hcoop.net>2009-08-25 17:33:13 -0400
committerGravatar Adam Chlipala <adamc@hcoop.net>2009-08-25 17:33:13 -0400
commit87777778aeaee3e1de767499f86bc22789118a69 (patch)
tree0c17c4e2488fadc7daa109118e623a4871c9bdb8 /include
parentf9d6e7f4d4e5f1c01fd10bf82232a938b930147f (diff)
New release
Diffstat (limited to 'include')
-rw-r--r--include/types.h1
1 files changed, 1 insertions, 0 deletions
diff --git a/include/types.h b/include/types.h
index 062888af..19eae5ad 100644
--- a/include/types.h
+++ b/include/types.h
@@ -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;