post-lunch useless cosmetics

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

diff --git a/tools/normalize-pointers.py b/tools/normalize-pointers.py
index bb2f59a5a3461ddd20c97e713203b5b5eb20df7c..e1381116077e435805e8a05388425bf0525e0cb7 100755 (executable)
--- 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