mbed library sources

Fork of mbed-src by mbed official

Revision:
285:31249416b6f9
Parent:
251:de9a1e4ffd79
Child:
322:711b2ef89052
--- a/api/mbed.h	Wed Aug 13 10:30:07 2014 +0100
+++ b/api/mbed.h	Fri Aug 15 16:30:08 2014 +0100
@@ -16,7 +16,7 @@
 #ifndef MBED_H
 #define MBED_H
 
-#define MBED_LIBRARY_VERSION 86
+#define MBED_LIBRARY_VERSION 88
 
 #include "platform.h"
 
@@ -25,7 +25,7 @@
 #include <time.h>
 
 // mbed Debug libraries
-#include "error.h"
+#include "mbed_error.h"
 #include "mbed_interface.h"
 
 // mbed Peripheral components