mbed library sources

Fork of mbed-src by mbed official

Files at this revision

API Documentation at this revision

Comitter:
mbed_official
Date:
Wed Jun 03 08:45:33 2015 +0100
Parent:
556:a217bc785985
Child:
558:0880f51c4036
Commit message:
Synchronized with git revision e775613c6b67f6d67298fec0fe26ded074b8d4c3

Full URL: https://github.com/mbedmicro/mbed/commit/e775613c6b67f6d67298fec0fe26ded074b8d4c3/

Added tests for the WFI instruction

Changed in this revision

targets/hal/TARGET_NXP/TARGET_LPC82X/pwmout_api.c Show annotated file Show diff for this revision Revisions of this file
--- a/targets/hal/TARGET_NXP/TARGET_LPC82X/pwmout_api.c	Wed Jun 03 08:30:08 2015 +0100
+++ b/targets/hal/TARGET_NXP/TARGET_LPC82X/pwmout_api.c	Wed Jun 03 08:45:33 2015 +0100
@@ -36,7 +36,7 @@
 
 void pwmout_init(pwmout_t* obj, PinName pin)
 {
-    MBED_ASSERT(pin != (uint32_t)NC);
+    MBED_ASSERT(pin != (PinName)NC);
 
     int sct_n = get_available_sct();
     if (sct_n == -1) {