mbed library sources

Fork of mbed-src by mbed official

Revision:
547:88c982c8f758
Parent:
525:c320967f86b9
--- a/api/Timer.h	Fri May 22 08:45:08 2015 +0100
+++ b/api/Timer.h	Fri May 22 09:45:08 2015 +0100
@@ -46,7 +46,7 @@
 
 public:
     Timer();
-    Timer(const ticker_data_t *const data);
+    Timer(const ticker_data_t *data);
 
     /** Start the timer
      */
@@ -83,7 +83,7 @@
     int _running;          // whether the timer is running
     unsigned int _start;   // the start time of the latest slice
     int _time;             // any accumulated time from previous slices
-    const ticker_data_t *const _ticker_data;
+    const ticker_data_t *_ticker_data;
 };
 
 } // namespace mbed