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

diff --git a/src/random.h b/src/random.h
index 91dec4ff..21aef7c9 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);