diff --git a/src/basic/random-util.c b/src/basic/random-util.c index 4a36ad5119..f7decf60b6 100644 --- a/src/basic/random-util.c +++ b/src/basic/random-util.c @@ -7,7 +7,6 @@ #include #include #include -#include #include #include #include