-/* Copyright (c) 2007-2013. The SimGrid Team.
+/* Copyright (c) 2007-2014. The SimGrid Team.
* All rights reserved. */
/* This program is free software; you can redistribute it and/or modify it
extern "C" {
mc_address_set_t mc_address_set_new();
-mc_address_set_t mc_address_set_free(mc_address_set_t* p);
+void mc_address_set_free(mc_address_set_t* p);
void mc_address_add(mc_address_set_t p, const void* value);
bool mc_address_test(mc_address_set_t p, const void* value);
return new std::set<const void*>();
}
-mc_address_set_t mc_address_set_free(mc_address_set_t* p) {
+void mc_address_set_free(mc_address_set_t* p) {
delete *p;
*p = NULL;
}