mbed lib with startup delay fixed for Nucleo401RE

Fork of mbed-src by mbed official

Revision:
25:002053b42e66
Parent:
13:0645d8841f51
diff -r 75304dd5f5fb -r 002053b42e66 api/mbed_debug.h
--- a/api/mbed_debug.h	Tue Sep 17 13:30:07 2013 +0100
+++ b/api/mbed_debug.h	Wed Sep 18 11:15:05 2013 +0100
@@ -21,7 +21,7 @@
 extern "C" {
 #endif
 
-#ifdef DEVICE_STDIO_MESSAGES
+#if DEVICE_STDIO_MESSAGES
 #include <stdio.h>
 #include <stdarg.h>