diff --git a/platform/mbed_error.c b/platform/mbed_error.c index 935290e8c4..57f231cc3e 100644 --- a/platform/mbed_error.c +++ b/platform/mbed_error.c @@ -15,6 +15,7 @@ */ #include #include +#include #include "device.h" #include "platform/mbed_critical.h" #include "platform/mbed_error.h"