diff options
Diffstat (limited to 'src/stdlib/datatypes.h')
| -rw-r--r-- | src/stdlib/datatypes.h | 6 |
1 files changed, 0 insertions, 6 deletions
diff --git a/src/stdlib/datatypes.h b/src/stdlib/datatypes.h index 22cee673..b1265fc3 100644 --- a/src/stdlib/datatypes.h +++ b/src/stdlib/datatypes.h @@ -3,7 +3,6 @@ // Common datastructures (arrays, tables, closures) #include <gmp.h> -#include <pthread.h> #include <stdbool.h> #include <stdint.h> #include <time.h> @@ -111,11 +110,6 @@ typedef struct { typedef struct RNGState_t* RNG_t; -typedef struct MutexedData_s { - pthread_mutex_t mutex; - void *data; -} *MutexedData_t; - #define OptionalBool_t uint8_t #define OptionalArray_t Array_t #define OptionalTable_t Table_t |