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=3fcf62ddca797a1d9514a624d6aed59304d20d0a;hb=5fbedf1d20c2b2f2dbc8c7ebd64cc7b4812a44bf;hp=c9973d07b3102bca4f4f0f1a1e8a8c7d2086e717;hpb=5e8c072fc51af0d3e6c3501c6f697b01c9c607b7;p=pintos-anon

diff --git a/src/lib/random.c b/src/lib/random.c
index c9973d0..3fcf62d 100644
--- a/src/lib/random.c
+++ b/src/lib/random.c
@@ -1,6 +1,7 @@
 #include "random.h"
 #include <stdbool.h>
 #include <stdint.h>
+#include "debug.h"
 
 /* RC4-based pseudo-random state. */
 static uint8_t s[256];