diff options
Diffstat (limited to 'src/stdlib/datatypes.h')
| -rw-r--r-- | src/stdlib/datatypes.h | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/src/stdlib/datatypes.h b/src/stdlib/datatypes.h index fce1ea74..e473956e 100644 --- a/src/stdlib/datatypes.h +++ b/src/stdlib/datatypes.h @@ -5,7 +5,6 @@ #include <gmp.h> #include <stdbool.h> #include <stdint.h> -#include <time.h> #define LIST_LENGTH_BITS 64 #define LIST_FREE_BITS 48 |