diff options
Diffstat (limited to 'py/machine.h')
| -rw-r--r-- | py/machine.h | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/py/machine.h b/py/machine.h deleted file mode 100644 index fa39c8f2d0..0000000000 --- a/py/machine.h +++ /dev/null @@ -1,4 +0,0 @@ -typedef int64_t machine_int_t; // must be pointer size -typedef uint64_t machine_uint_t; // must be pointer size -typedef void *machine_ptr_t; // must be of pointer size -typedef double machine_float_t; |