forgot one access to now private field

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

diff --git a/tools/normalize-pointers.py b/tools/normalize-pointers.py
index bb2f59a5a3461ddd20c97e713203b5b5eb20df7c..8c2f788d1201c6b92a1d64df6530ea2b8cab7b4e 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-2021. 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


@@ -10,7 +10,6 @@
 Tool for normalizing pointers such as two runs have the same 'addresses'
 
 first address encountered will be replaced by 0X0000001, second by 0X0000002, ...
 Tool for normalizing pointers such as two runs have the same 'addresses'
 
 first address encountered will be replaced by 0X0000001, second by 0X0000002, ...

-

 """
 
 import sys
 """
 
 import sys