mbed library sources

Fork of mbed-src by mbed official

Revision:
8:4e25b8576136
Parent:
2:143cac498751
diff -r 3a1b3e92fa02 -r 4e25b8576136 cpp/Timer.cpp
--- a/cpp/Timer.cpp	Wed Apr 24 15:11:33 2013 +0000
+++ b/cpp/Timer.cpp	Thu May 30 16:59:31 2013 +0100
@@ -37,7 +37,7 @@
 }
 
 float Timer::read() {
-    return (float)read_us() / 1000000.0;
+    return (float)read_us() / 1000000.0f;
 }
 
 int Timer::read_ms() {