model-checker : privatization_regions in snapshot may be NULL

[simgrid.git] / include / xbt / set.h

diff --git a/include/xbt/set.h b/include/xbt/set.h
index 6264d25df1787a980801d9b5825cc6cd917f1b8e..1d8732033234f620cfbe6179b29460fb3b2800f4 100644 (file)
--- a/include/xbt/set.h
+++ b/include/xbt/set.h
@@ -1,6 +1,6 @@
 /* xbt/set.h -- api to a generic dictionary                                 */
 
-/* Copyright (c) 2004-2007, 2009-2010, 2012. The SimGrid Team.
+/* Copyright (c) 2004-2007, 2009-2010, 2012-2014. The SimGrid Team.
  * All rights reserved.                                                     */
 
 /* This program is free software; you can redistribute it and/or modify it