From c2e2343054e8d11ebaaf426d6ca105e79e93da6a Mon Sep 17 00:00:00 2001
From: Xavier Del Campo Romero <xavi.dcr@tutanota.com>
Date: Tue, 30 Jan 2024 01:13:56 +0100
Subject: [PATCH] player: Add missing header

As required by rand(3).
---
 src/player/src/human_player_gui.c | 1 +
 src/player/src/player.c           | 1 +
 2 files changed, 2 insertions(+)

diff --git a/src/player/src/human_player_gui.c b/src/player/src/human_player_gui.c
index 4e96133..27869a7 100644
--- a/src/player/src/human_player_gui.c
+++ b/src/player/src/human_player_gui.c
@@ -16,6 +16,7 @@
 #include <stddef.h>
 #include <stdio.h>
 #include <stdint.h>
+#include <stdlib.h>
 
 enum {X_OFF = 8, Y_OFF = 8};
 
diff --git a/src/player/src/player.c b/src/player/src/player.c
index a3b0a52..04ed4bb 100644
--- a/src/player/src/player.c
+++ b/src/player/src/player.c
@@ -3,6 +3,7 @@
 #include <unit.h>
 #include <terrain.h>
 #include <stddef.h>
+#include <stdlib.h>
 
 void player_update(struct player *const p)
 {