1 files changed, 0 insertions, 1 deletions

diff --git a/dbg_mlc.c b/dbg_mlc.c
index 2fd1966e..4a1d774b 100644
--- a/dbg_mlc.c
+++ b/dbg_mlc.c
@@ -67,7 +67,6 @@
 
 # define RANDOM() (long)GC_rand()
 #else
-# include <stdlib.h>
 # undef GC_RAND_MAX
 # define GC_RAND_MAX RAND_MAX