From 8745a258d40cdfa113ef5ecc90ac839d3057cee4 Mon Sep 17 00:00:00 2001
From: Romain Goyet <romain.goyet@numworks.com>
Date: Tue, 3 Apr 2018 14:03:50 +0200
Subject: [PATCH] Remove un-needed headers

This fixes some heavily-parallels build failures
---
 python/port/port.cpp | 1 -
 python/port/port.h   | 4 ++++
 2 files changed, 4 insertions(+), 1 deletion(-)

diff --git a/python/port/port.cpp b/python/port/port.cpp
index 83d0a77dc..ed82041e3 100644
--- a/python/port/port.cpp
+++ b/python/port/port.cpp
@@ -1,4 +1,3 @@
-#include <apps/i18n.h>
 #include <escher/metric.h>
 #include <ion/display.h>
 #include <ion/events.h>
diff --git a/python/port/port.h b/python/port/port.h
index cd3b346a0..1cd120ddc 100644
--- a/python/port/port.h
+++ b/python/port/port.h
@@ -1,6 +1,10 @@
 #ifndef PYTHON_PORT_H
 #define PYTHON_PORT_H
 
+extern "C" {
+#include <stddef.h>
+}
+
 namespace MicroPython {
 
 class ScriptProvider {