X-Git-Url: http://git.tuebingen.mpg.de/?p=paraslash.git;a=blobdiff_plain;f=random_selector.c;h=d9efaaf2cf4b9dd5fd329884f2caca7589c3f3b2;hp=5d8b386c6f433d68ef55b589bbe077df41c9331b;hb=381d053808a93efec734496bfd09f40176d4e6ac;hpb=c39956768e5a7e4bc8c0124b216afbdadf3c0262

diff --git a/random_selector.c b/random_selector.c
index 5d8b386c..d9efaaf2 100644
--- a/random_selector.c
+++ b/random_selector.c
@@ -21,7 +21,7 @@
 #include <sys/time.h> /* gettimeofday */
 #include "server.cmdline.h"
 #include "server.h"
-#include "db.h"
+#include "afs.h"
 #include "error.h"
 #include "net.h"
 #include "string.h"