From 666e484b2807beacf291478e71b3331e2cf3c5f9 Mon Sep 17 00:00:00 2001 From: Gabriel Ferreira Date: Sun, 28 May 2023 15:20:43 -0300 Subject: [PATCH] core: add missing cstdint include to random-variable-stream-helper.h --- src/core/helper/random-variable-stream-helper.h | 1 + 1 file changed, 1 insertion(+) diff --git a/src/core/helper/random-variable-stream-helper.h b/src/core/helper/random-variable-stream-helper.h index 51bb1a010..6b63dcf89 100644 --- a/src/core/helper/random-variable-stream-helper.h +++ b/src/core/helper/random-variable-stream-helper.h @@ -18,6 +18,7 @@ #ifndef RANDOM_VARIABLE_STREAM_HELPER_H #define RANDOM_VARIABLE_STREAM_HELPER_H +#include #include /**