Diff: targets/hal/TARGET_Freescale/TARGET_K20D5M/pwmout_api.c

Revision:

227:7bd0639b8911

Parent:

73:299c67215126

--- a/targets/hal/TARGET_Freescale/TARGET_K20D5M/pwmout_api.c	Wed Jun 11 09:45:09 2014 +0100
+++ b/targets/hal/TARGET_Freescale/TARGET_K20D5M/pwmout_api.c	Wed Jun 11 16:00:09 2014 +0100
@@ -13,11 +13,11 @@
  * See the License for the specific language governing permissions and
  * limitations under the License.
  */
+#include "mbed_assert.h"
 #include "pwmout_api.h"
 
 #include "cmsis.h"
 #include "pinmap.h"
-#include "error.h"
 
 static const PinMap PinMap_PWM[] = {
     // LEDs
@@ -53,8 +53,7 @@
 void pwmout_init(pwmout_t* obj, PinName pin) {
     // determine the channel
     PWMName pwm = (PWMName)pinmap_peripheral(pin, PinMap_PWM);
-    if (pwm == (PWMName)NC)
-        error("PwmOut pin mapping failed");
+    MBED_ASSERT(pwm != (PWMName)NC);
 
     uint32_t clkdiv = 0;
     float clkval = SystemCoreClock / 1000000.0f;