From c06f346f858ea8816015271a6c950c2915e18918 Mon Sep 17 00:00:00 2001
From: Martin Quinson <martin.quinson@loria.fr>
Date: Wed, 24 May 2017 17:47:05 +0200
Subject: [PATCH 1/1] cosmetics: kill a useless redundent declaration

---
 src/mc/remote/Client.hpp | 8 --------
 1 file changed, 8 deletions(-)

diff --git a/src/mc/remote/Client.hpp b/src/mc/remote/Client.hpp
index 79746017b1..6d2dadc17c 100644
--- a/src/mc/remote/Client.hpp
+++ b/src/mc/remote/Client.hpp
@@ -56,12 +56,4 @@ public:
 }
 }
 
-SG_BEGIN_DECL()
-
-#if SIMGRID_HAVE_MC
-void MC_ignore(void* addr, std::size_t size);
-#endif
-
-SG_END_DECL()
-
 #endif
-- 
2.20.1