diff options
| author | Damien George <damien.p.george@gmail.com> | 2014-07-03 13:25:24 +0100 |
|---|---|---|
| committer | Damien George <damien.p.george@gmail.com> | 2014-07-03 13:25:24 +0100 |
| commit | 40f3c026823f8951a2fa04e9c7fc93c75bc27bec (patch) | |
| tree | c9c8210654c7114f00c5234a8481d9b5fbd28ce0 /unix/main.c | |
| parent | 065aba587571150074ea79483ffa72c0fe6bc8c8 (diff) | |
Rename machine_(u)int_t to mp_(u)int_t.
See discussion in issue #50.
Diffstat (limited to 'unix/main.c')
| -rw-r--r-- | unix/main.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/unix/main.c b/unix/main.c index 176cbc6ec..d0222de0d 100644 --- a/unix/main.c +++ b/unix/main.c @@ -61,7 +61,7 @@ uint mp_verbose_flag; #if MICROPY_ENABLE_GC // Heap size of GC heap (if enabled) // Make it larger on a 64 bit machine, because pointers are larger. -long heap_size = 128*1024 * (sizeof(machine_uint_t) / 4); +long heap_size = 128*1024 * (sizeof(mp_uint_t) / 4); #endif void microsocket_init(); |