-/* Copyright (c) 2010-2012, 2014-2015. The SimGrid Team.
+/* Copyright (c) 2010-2012, 2014-2017. The SimGrid Team.
* All rights reserved. */
/* This program is free software; you can redistribute it and/or modify it
#ifndef JEDULE_HPP_
#define JEDULE_HPP_
-#include <stdio.h>
#include "simgrid_config.h"
+#include <cstdio>
#include "jedule_events.hpp"
#include "jedule_platform.hpp"
-#if HAVE_JEDULE
+#if SIMGRID_HAVE_JEDULE
XBT_ATTRIB_UNUSED static std::unordered_map <const char *, jed_container_t> host2_simgrid_parent_container;
XBT_ATTRIB_UNUSED static std::unordered_map <std::string, jed_container_t> container_name2container;