From 7a9ee8145d51918e926c6280f514e1140afe63ad Mon Sep 17 00:00:00 2001
From: Pol Henarejos <pol.henarejos@cttc.es>
Date: Mon, 28 Mar 2022 17:38:02 +0200
Subject: [PATCH] Adding headers to random.h

Signed-off-by: Pol Henarejos <pol.henarejos@cttc.es>
---
 src/rng/random.h | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/src/rng/random.h b/src/rng/random.h
index 0bd11ad..d13c415 100644
--- a/src/rng/random.h
+++ b/src/rng/random.h
@@ -19,6 +19,9 @@
 #ifndef _RANDOM_H_
 #define _RANDOM_H_
 
+#include "stdlib.h"
+#include "pico/stdlib.h"
+
 void random_init (void);
 void random_fini (void);