Fix the 64 bits build error

Change-Id: I94cda4dc3b64a39dbb677334d1a0e5b0090c309b

diff --git a/src/com-core_thread.c b/src/com-core_thread.c
index 9995477..9954e37 100644 (file)
--- a/src/com-core_thread.c
+++ b/src/com-core_thread.c
@@ -187,7 +187,7 @@ static inline void terminate_thread(struct tcb *tcb)
        if (status != 0) {
                ErrPrint("Join: %s\n", strerror(status));
        } else {
-               ErrPrint("Thread returns: %d\n", (int)res);
+               ErrPrint("Thread returns: %p\n", res);
        }
 
        dlist_foreach_safe(tcb->chunk_list, l, n, chunk) {