mbed libraries for KL25Z

Dependents:   FRDM_RGBLED

Revision:
7:73c5efe92a6c
Parent:
0:8024c367e29f
Child:
8:c14af7958ef5
--- a/Stream.h	Fri Oct 12 10:06:08 2012 +0000
+++ b/Stream.h	Tue Oct 23 09:20:18 2012 +0000
@@ -32,7 +32,7 @@
     }
     char *gets(char *s, int size) {
         fflush(_file);
-        return std::fgets(s,size,_file);;
+        return std::fgets(s,size,_file);
     }
     int printf(const char* format, ...);
     int scanf(const char* format, ...);