X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;ds=inline;f=src%2Fsample.c;h=0255ae79ee21a210411a64c7100a8973acb48a15;hb=53ceff2865473a6b561b521986fafd31a993a1a6;hp=fceadbbbf37e72a9ef0b0846419407e41e227115;hpb=ad01fea350354a7df11790a561e935a8bffd3636;p=pspp

diff --git a/src/sample.c b/src/sample.c
index fceadbbbf3..0255ae79ee 100644
--- a/src/sample.c
+++ b/src/sample.c
@@ -26,7 +26,7 @@
 #include "command.h"
 #include "error.h"
 #include "lexer.h"
-#include "settings.h"
+#include "random.h"
 #include "str.h"
 #include "var.h"