From 9c3aa22740b79cb55d4c2d523ffb3adb09e02479 Mon Sep 17 00:00:00 2001 From: Nick Mathewson Date: Tue, 30 Apr 2019 12:58:00 -0400 Subject: Remove some now-needless dirauth includes --- src/app/main/shutdown.c | 3 --- 1 file changed, 3 deletions(-) (limited to 'src/app/main') diff --git a/src/app/main/shutdown.c b/src/app/main/shutdown.c index 390a512c13..c302ce455c 100644 --- a/src/app/main/shutdown.c +++ b/src/app/main/shutdown.c @@ -36,9 +36,6 @@ #include "feature/control/control.h" #include "feature/control/control_auth.h" #include "feature/dirauth/authmode.h" -#include "feature/dirauth/bwauth.h" -#include "feature/dirauth/dirvote.h" -#include "feature/dirauth/keypin.h" #include "feature/dirauth/shared_random.h" #include "feature/dircache/consdiffmgr.h" #include "feature/dircache/dirserv.h" -- cgit v1.2.3-54-g00ecf