/* 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. */
/**********************************************************************/
/*
#include "smx_private.hpp"
#include "src/mc/mc_forward.hpp"
+#include "src/simix/smx_synchro_private.hpp"
#include "xbt/ex.h"
#include <functional>
#include <simgrid/simix.hpp>