mbed library sources

Fork of mbed-src by mbed official

Revision:
388:fc1c6dc472ca
Parent:
361:56c2a6244bba
Child:
452:a2b30f7d1bc5
--- a/common/us_ticker_api.c	Wed Nov 05 14:30:08 2014 +0000
+++ b/common/us_ticker_api.c	Wed Nov 05 15:00:07 2014 +0000
@@ -37,7 +37,7 @@
             return;
         }
 
-        if ((int64_t)(head->timestamp - us_ticker_read()) <= 0) {
+        if ((int)(head->timestamp - us_ticker_read()) <= 0) {
             // This event was in the past:
             //      point to the following one and execute its handler
             ticker_event_t *p = head;