X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/347996b4a10c4e8579080692afa60e0afb88b60a..0efe3d607e77e439af8019c721b20a18b1787884:/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