]> AND Public Git Repository - simgrid.git/blobdiff - src/xbt/xbt_queue.c
Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
model-checker : automaton state comparison removed with parallel comparison, fix it
[simgrid.git] / src / xbt / xbt_queue.c
index 78e578ca92cc2039867c09d909dae56e0906b11e..ee98e0d51b89965f4e19f8b19c3cc1a7b43ddf67 100644 (file)
@@ -1,7 +1,7 @@
 /* A (synchronized) message queue.                                          */
 /* Popping an empty queue is blocking, as well as pushing a full one        */
 
-/* Copyright (c) 2007, 2008, 2009, 2010. The SimGrid Team.
+/* Copyright (c) 2007-2013. The SimGrid Team.
  * All rights reserved.                                                     */
 
 /* This program is free software; you can redistribute it and/or modify it