ads1115 only

Fork of mbed by mbed official

Revision:
123:b0220dba8be7
Parent:
122:f9eeca106725
--- 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 {