From 51f547d9df3806cb734d5d500ce9c338a11a333b Mon Sep 17 00:00:00 2001
From: ENGO150 <v.smejkal06@gmail.com>
Date: Thu, 9 Feb 2023 19:00:27 +0100
Subject: [PATCH] added back removed include to misc

---
 src/core/lib/utils/misc.c | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/src/core/lib/utils/misc.c b/src/core/lib/utils/misc.c
index fa39c24..84997f8 100644
--- a/src/core/lib/utils/misc.c
+++ b/src/core/lib/utils/misc.c
@@ -20,6 +20,8 @@ along with this program.  If not, see <https://www.gnu.org/licenses/>.
 
 #include <why2/misc.h>
 
+#include <stdio.h>
+#include <stdlib.h>
 #include <string.h>
 #include <unistd.h>
 #include <sys/time.h>