diff options
Diffstat (limited to 'unix/mpconfigport.h')
| -rw-r--r-- | unix/mpconfigport.h | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/unix/mpconfigport.h b/unix/mpconfigport.h index 86b6001d5b..9845e1ce5f 100644 --- a/unix/mpconfigport.h +++ b/unix/mpconfigport.h @@ -231,9 +231,6 @@ typedef long long mp_off_t; typedef long mp_off_t; #endif -typedef void *machine_ptr_t; // must be of pointer size -typedef const void *machine_const_ptr_t; // must be of pointer size - void mp_unix_alloc_exec(mp_uint_t min_size, void** ptr, mp_uint_t *size); void mp_unix_free_exec(void *ptr, mp_uint_t size); void mp_unix_mark_exec(void); |