-/* Copyright (c) 2015. The SimGrid Team.
+/* Copyright (c) 2015-2018. The SimGrid Team.
* All rights reserved. */
/* This program is free software; you can redistribute it and/or modify it
#ifndef SIMGRID_UTIL_HTPP
#define SIMGRID_UTIL_HTPP
-#include <algorithm>
-
#include <xbt/base.h>
namespace simgrid {