X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Flib%2Frandom.c;fp=src%2Flib%2Frandom.c;h=c9973d07b3102bca4f4f0f1a1e8a8c7d2086e717;hb=5e8c072fc51af0d3e6c3501c6f697b01c9c607b7;hp=d4ffa6df216d0b43c56101ea85839020512e4d61;hpb=a051c001c942a1f9cce57b1beec79794f9c7089f;p=pintos-anon

diff --git a/src/lib/random.c b/src/lib/random.c
index d4ffa6d..c9973d0 100644
--- a/src/lib/random.c
+++ b/src/lib/random.c
@@ -42,6 +42,7 @@ random_bytes (void *buf_, size_t size)
 {
   uint8_t *buf;
 
+  ASSERT (inited);
   for (buf = buf_; size-- > 0; buf++)
     {
       uint8_t s_k;