diff include/types.h @ 1365:b02cb9da5686

Changed uw_Basis_time to store microseconds
author Adam Chlipala <adam@chlipala.net>
date Fri, 24 Dec 2010 18:08:29 -0500
parents 87156c44824f
children 1a78ca089bd0
line wrap: on
line diff
--- a/include/types.h	Fri Dec 24 17:18:28 2010 -0500
+++ b/include/types.h	Fri Dec 24 18:08:29 2010 -0500
@@ -9,7 +9,10 @@
 typedef double uw_Basis_float;
 typedef char* uw_Basis_string;
 typedef char uw_Basis_char;
-typedef time_t uw_Basis_time;
+typedef struct {
+  time_t seconds;
+  unsigned microseconds;
+} uw_Basis_time;
 typedef struct {
   size_t size;
   char *data;