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

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"