From 91386eee2613cbaf736d746cfef28674cce82c01 Mon Sep 17 00:00:00 2001
From: Paul Sokolovsky
Date: Mon, 17 Nov 2014 00:16:14 +0200
Subject: ports: Define mp_off_t.

---
 teensy/mpconfigport.h | 1 +
 1 file changed, 1 insertion(+)

(limited to 'teensy')

diff --git a/teensy/mpconfigport.h b/teensy/mpconfigport.h
index 8e2ba4afd..efe51fecd 100644
--- a/teensy/mpconfigport.h
+++ b/teensy/mpconfigport.h
@@ -55,6 +55,7 @@ typedef int32_t mp_int_t; // must be pointer size
 typedef unsigned int mp_uint_t; // must be pointer size
 typedef void *machine_ptr_t; // must be of pointer size
 typedef const void *machine_const_ptr_t; // must be of pointer size
+typedef long mp_off_t;
 
 // We have inlined IRQ functions for efficiency (they are generally
 // 1 machine instruction).
-- 
cgit v1.2.3