Use C++ random for tracing colors.

[simgrid.git] / tools / normalize-pointers.py

diff --git a/tools/normalize-pointers.py b/tools/normalize-pointers.py
index e1381116077e435805e8a05388425bf0525e0cb7..b2bb4937cacf5d3a673fce20f5cdf767d6bf225b 100755 (executable)
--- a/tools/normalize-pointers.py
+++ b/tools/normalize-pointers.py
@@ -1,6 +1,6 @@
 #!/usr/bin/env python
 
 #!/usr/bin/env python
 

-# Copyright (c) 2013-2014. The SimGrid Team.
+# Copyright (c) 2013-2019. The SimGrid Team.

 # All rights reserved.
 
 # This program is free software; you can redistribute it and/or modify it
 # All rights reserved.
 
 # This program is free software; you can redistribute it and/or modify it