X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/44d7d44a1d01227f8f31e96306ceb23511517434..7862d928239639a5fbde23866f80f1b234ff8396:/tools/normalize-pointers.py diff --git a/tools/normalize-pointers.py b/tools/normalize-pointers.py index bb2f59a5a3..e138111607 100755 --- a/tools/normalize-pointers.py +++ b/tools/normalize-pointers.py @@ -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, ... - """ import sys