diff include/types.h @ 1115:150465f2895c

Database quotas
author Adam Chlipala <adamc@hcoop.net>
date Sun, 03 Jan 2010 17:13:45 -0500
parents db52c32dbe42
children b4480a56cab7
line wrap: on
line diff
--- a/include/types.h	Sun Jan 03 15:58:34 2010 -0500
+++ b/include/types.h	Sun Jan 03 17:13:45 2010 -0500
@@ -3,6 +3,7 @@
 
 #include <time.h>
 #include <unistd.h>
+#include <stdint.h>
 
 typedef long long uw_Basis_int;
 typedef double uw_Basis_float;