diff options
author | Adam Chlipala <adamc@hcoop.net> | 2009-08-25 17:33:13 -0400 |
---|---|---|
committer | Adam Chlipala <adamc@hcoop.net> | 2009-08-25 17:33:13 -0400 |
commit | 87777778aeaee3e1de767499f86bc22789118a69 (patch) | |
tree | 0c17c4e2488fadc7daa109118e623a4871c9bdb8 /include | |
parent | f9d6e7f4d4e5f1c01fd10bf82232a938b930147f (diff) |
New release
Diffstat (limited to 'include')
-rw-r--r-- | include/types.h | 1 |
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; |