Merge pull request #5598 from bulislaw/remove_rtx_int_header

Remove unnecessary inclusion of an internal RTX header
pull/5527/merge
Martin Kojtal 2017-12-12 17:29:22 +00:00 committed by GitHub
commit a619d226f3
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 0 additions and 1 deletions

View File

@ -24,7 +24,6 @@
#include "platform/mbed_sleep.h"
#include "TimerEvent.h"
#include "lp_ticker_api.h"
#include "rtx_core_cm.h"
#include "mbed_critical.h"
#include "mbed_assert.h"
#include <new>