]> AND Public Git Repository - simgrid.git/blobdiff - src/mc/checker/LivenessChecker.hpp
Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Fix a FIXME.
[simgrid.git] / src / mc / checker / LivenessChecker.hpp
index fdab4b4ee9f33ac6317db8d0736269763ecaf249..25517a02ed5e8c467dbb1f4814bc9d67dc4c178b 100644 (file)
@@ -1,4 +1,4 @@
-/* Copyright (c) 2007-2018. The SimGrid Team.
+/* Copyright (c) 2007-2019. The SimGrid Team.
  * All rights reserved.                                                     */
 
 /* This program is free software; you can redistribute it and/or modify it