diff include/types.h @ 436:024478c34f4d

time type
author Adam Chlipala <adamc@hcoop.net>
date Thu, 30 Oct 2008 14:36:48 -0400
parents 9ad92047a499
children b0c1a46b1f15
line wrap: on
line diff
--- a/include/types.h	Tue Oct 28 15:05:16 2008 -0400
+++ b/include/types.h	Thu Oct 30 14:36:48 2008 -0400
@@ -1,6 +1,9 @@
+#include <time.h>
+
 typedef long long uw_Basis_int;
 typedef double uw_Basis_float;
 typedef char* uw_Basis_string;
+typedef time_t uw_Basis_time;
 
 struct __uws_0 {
 };
@@ -21,3 +24,4 @@
 
 #define INTS_MAX 50
 #define FLOATS_MAX 100
+#define TIMES_MAX 100