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 /teensy/main.c | |
parent | 065aba587571150074ea79483ffa72c0fe6bc8c8 (diff) |
Rename machine_(u)int_t to mp_(u)int_t.
See discussion in issue #50.
Diffstat (limited to 'teensy/main.c')
-rw-r--r-- | teensy/main.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/teensy/main.c b/teensy/main.c index 97c1db652..5e7918cdc 100644 --- a/teensy/main.c +++ b/teensy/main.c @@ -150,7 +150,7 @@ static mp_obj_t pyb_info(void) { #if 0 -void gc_helper_get_regs_and_clean_stack(machine_uint_t *regs, machine_uint_t heap_end); +void gc_helper_get_regs_and_clean_stack(mp_uint_t *regs, mp_uint_t heap_end); mp_obj_t pyb_gc(void) { gc_collect(); |