From dc607c5be4ff70e54617398bfa89a35f46500208 Mon Sep 17 00:00:00 2001
From: Dirk Ziegelmeier <dirk@ziegelmeier.net>
Date: Sat, 2 Feb 2019 22:38:49 +0100
Subject: [PATCH] Fix lwip_port_rand()

(Didn't stash again after last change)
---
 contrib/ports/unix/port/sys_arch.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/contrib/ports/unix/port/sys_arch.c b/contrib/ports/unix/port/sys_arch.c
index 070c6cff..a56d7de1 100644
--- a/contrib/ports/unix/port/sys_arch.c
+++ b/contrib/ports/unix/port/sys_arch.c
@@ -71,7 +71,7 @@
 u32_t
 lwip_port_rand(void)
 {
-  return rand();
+  return (u32_t)rand();
 }
 
 static void