X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fset.q;h=8df84654710ac041d282ceecf59bb5ea6b653e0f;hb=e238e7fc030ebb64a7f70176c2218783b5b205e3;hp=9e045fb7ce7981472695601e6d77be4b10ae595d;hpb=40271dcbfdecb01dfe808684741215eb2ddeb508;p=pspp

diff --git a/src/set.q b/src/set.q
index 9e045fb7ce..8df8465471 100644
--- a/src/set.q
+++ b/src/set.q
@@ -30,8 +30,8 @@
 #include "lexer.h"
 #include "error.h"
 #include "magic.h"
-#include "log.h"
 #include "output.h"
+#include "random.h"
 #include "var.h"
 #include "format.h"
 #include "copyleft.h"