From 48ec45df6c4779f97976a3d72665698f24959f4f Mon Sep 17 00:00:00 2001
From: Frederic Suter <frederic.suter@cc.in2p3.fr>
Date: Sat, 16 Feb 2019 22:54:44 +0100
Subject: [PATCH 1/1] dead header

---
 src/kernel/context/Context.hpp | 2 --
 1 file changed, 2 deletions(-)

diff --git a/src/kernel/context/Context.hpp b/src/kernel/context/Context.hpp
index c851241253..a46b2d32f6 100644
--- a/src/kernel/context/Context.hpp
+++ b/src/kernel/context/Context.hpp
@@ -139,8 +139,6 @@ XBT_PRIVATE void SIMIX_context_runall();
 
 XBT_PUBLIC int SIMIX_process_get_maxpid();
 
-XBT_PRIVATE void SIMIX_post_create_environment();
-
 XBT_PRIVATE simgrid::simix::ActorCodeFactory& SIMIX_get_actor_code_factory(const std::string& name);
 
 #endif
-- 
2.20.1