kill a useless file

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

diff --git a/tools/normalize-pointers.py b/tools/normalize-pointers.py
index ba78a80..e138111 100755 (executable)
--- a/tools/normalize-pointers.py
+++ b/tools/normalize-pointers.py
@@ -10,14 +10,14 @@
 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, re
+import sys
+import re

 
 

-if len(sys.argv)!=2:
-  print "Usage ./normalize-pointers.py <filename>"
-  sys.exit(1)
+if len(sys.argv) != 2:
+    print "Usage ./normalize-pointers.py <filename>"
+    sys.exit(1)

 
 f = open(sys.argv[1])
 t = f.read()
 
 f = open(sys.argv[1])
 t = f.read()


@@ -28,15 +28,11 @@ s = r.search(t)
 offset = 0
 pointers = {}
 while (s):
 offset = 0
 pointers = {}
 while (s):

-  if s.group() not in pointers:
-    pointers[s.group()] = "0X%07d"%len(pointers)
-  print t[offset:s.start()],
-  print pointers[s.group()],
-  offset = s.end()
-  s = r.search(t, offset)
+    if s.group() not in pointers:
+        pointers[s.group()] = "0X%07d" % len(pointers)
+    print t[offset:s.start()],
+    print pointers[s.group()],
+    offset = s.end()
+    s = r.search(t, offset)

 
 print t[offset:]
 
 print t[offset:]

-
-
-
-