From ccf45a42833355100c1cebb5851fa36494914ce1 Mon Sep 17 00:00:00 2001
From: Damien George
Date: Fri, 13 Feb 2015 15:26:22 +0000
Subject: cc3200: Get bootloader compiling with changes to HAL.

---
 cc3200/hal/cc3200_hal.c | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'cc3200/hal/cc3200_hal.c')

diff --git a/cc3200/hal/cc3200_hal.c b/cc3200/hal/cc3200_hal.c
index cae936776..1e97324ea 100644
--- a/cc3200/hal/cc3200_hal.c
+++ b/cc3200/hal/cc3200_hal.c
@@ -133,7 +133,7 @@ void mp_hal_stdout_tx_str(const char *str) {
     mp_hal_stdout_tx_strn(str, strlen(str));
 }
 
-void mp_hal_stdout_tx_strn(const char *str, mp_uint_t len) {
+void mp_hal_stdout_tx_strn(const char *str, uint32_t len) {
     if (MP_STATE_PORT(pyb_stdio_uart) != NULL) {
         uart_tx_strn(MP_STATE_PORT(pyb_stdio_uart), str, len);
     }
@@ -143,7 +143,7 @@ void mp_hal_stdout_tx_strn(const char *str, mp_uint_t len) {
     }
 }
 
-void mp_hal_stdout_tx_strn_cooked(const char *str, mp_uint_t len) {
+void mp_hal_stdout_tx_strn_cooked(const char *str, uint32_t len) {
     // send stdout to UART
     if (MP_STATE_PORT(pyb_stdio_uart) != NULL) {
         uart_tx_strn_cooked(MP_STATE_PORT(pyb_stdio_uart), str, len);
-- 
cgit v1.2.3