X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;ds=sidebyside;f=src%2Frandom.h;h=21aef7c96191cdac332a8a3aec0d4ded141de3f5;hb=14e7292894533c5491a774a2d749386362660812;hp=91dec4ffea7f32ec549a0ce63e83188df3b702ba;hpb=2bfc3a138f308ffb38634a92b23bdc7b62592324;p=pspp

diff --git a/src/random.h b/src/random.h
index 91dec4ffea..21aef7c961 100644
--- a/src/random.h
+++ b/src/random.h
@@ -20,6 +20,8 @@
 #if !random_h
 #define random_h 1
 
+#include <stddef.h>
+
 struct rng *rng_create (void);
 void rng_destroy (struct rng *);
 void rng_seed (struct rng *, const void *, size_t);