From: Ben Pfaff <blp@cs.stanford.edu>
Date: Wed, 1 Sep 2004 22:36:24 +0000 (+0000)
Subject: Add assert.
X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?p=pintos-anon;a=commitdiff_plain;h=5e8c072fc51af0d3e6c3501c6f697b01c9c607b7

Add assert.
---

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;