mbed library sources

Fork of mbed-src by mbed official

Revision:
25:002053b42e66
Parent:
13:0645d8841f51
--- 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>