cc y / mbed

Important changes to repositories hosted on mbed.com

Mbed hosted mercurial repositories are deprecated and are due to be permanently deleted in July 2026.

To keep a copy of this software download the repository Zip archive or clone locally using Mercurial.

It is also possible to export all your personal repositories from the account settings page.

Fork of mbed by mbed official

Diff: InterruptManager.h

Revision:
123:b0220dba8be7
Parent:
122:f9eeca106725
diff -r f9eeca106725 -r b0220dba8be7 InterruptManager.h
--- a/InterruptManager.h	Thu Jul 07 14:34:11 2016 +0100
+++ b/InterruptManager.h	Fri Aug 12 13:04:35 2016 +0200
@@ -1,10 +1,9 @@
 #ifndef MBED_INTERRUPTMANAGER_H
 #define MBED_INTERRUPTMANAGER_H
 
-#include "platform.h"
-
 #include "cmsis.h"
 #include "CallChain.h"
+#include "PlatformMutex.h"
 #include <string.h>
 
 namespace mbed {