From 9808a55a33ff004c1596ef2bbe41b889d66f094e Mon Sep 17 00:00:00 2001
From: Kaveh Vahedipour <kaveh@vahedipour.de>
Date: Mon, 5 Sep 2016 15:12:46 +0200
Subject: [PATCH] some cleaning up

---
 arangod/Agency/Supervision.h | 2 --
 1 file changed, 2 deletions(-)

diff --git a/arangod/Agency/Supervision.h b/arangod/Agency/Supervision.h
index 96d62f75e5..c5ed68d5be 100644
--- a/arangod/Agency/Supervision.h
+++ b/arangod/Agency/Supervision.h
@@ -148,8 +148,6 @@ class Supervision : public arangodb::Thread {
 
   void shrinkCluster();
 
-  bool isShuttingDown();
-  
   bool handleJobs();
   void handleShutdown();