Incorrect type in ao_task_info for wchan

[fw/altos] / src / core / ao_task.c

diff --git a/src/core/ao_task.c b/src/core/ao_task.c
index a19a6a6f5e62f1f484ea09991c89d30cae9c7b79..d7d0e8a2a493354eab8e4f051a9ded4ca0bbd4d8 100644 (file)
--- a/src/core/ao_task.c
+++ b/src/core/ao_task.c
@@ -164,7 +164,7 @@ ao_task_info(void)
                task = ao_tasks[i];
                printf("%12s: wchan %04x\n",
                       task->name,
-                      (int16_t) task->wchan);
+                      (int) task->wchan);
        }
 }