/* DO NOT EVER CHANGE THIS FILE */
/* */
/* change simcalls specification in src/simix/simcalls.in */
-/* Copyright (c) 2014-2017. The SimGrid Team. All rights reserved. */
+/* Copyright (c) 2014-2018. The SimGrid Team. All rights reserved. */
/**********************************************************************/
/*
#if SIMGRID_HAVE_MC
#include "src/mc/mc_forward.hpp"
#endif
+#include "src/simix/smx_host_private.hpp"
+#include "src/simix/smx_synchro_private.hpp"
XBT_LOG_EXTERNAL_DEFAULT_CATEGORY(simix_popping);