X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;ds=sidebyside;f=src%2Fvfm.c;h=797167e6eabaeb91224c001429dcfcb1073627bc;hb=cd7b08ad5e6bbec75e778acf008f84e1eb548154;hp=89624165209e611dc13deb8215b94bcee16490e7;hpb=b321086267ad1014dc5d09886396cde30f094437;p=pspp-builds.git

diff --git a/src/vfm.c b/src/vfm.c
index 89624165..797167e6 100644
--- a/src/vfm.c
+++ b/src/vfm.c
@@ -35,7 +35,6 @@
 #include "error.h"
 #include "expr.h"
 #include "misc.h"
-#include "random.h"
 #include "settings.h"
 #include "som.h"
 #include "str.h"