Make it compile on 32bits, to please @degomme

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

diff --git a/tools/normalize-pointers.py b/tools/normalize-pointers.py
index 04049fa..ba78a80 100755 (executable)
--- a/tools/normalize-pointers.py
+++ b/tools/normalize-pointers.py
@@ -1,4 +1,4 @@
-#!/usr/bin/python
+#!/usr/bin/env python
 
 # Copyright (c) 2013-2014. The SimGrid Team.
 # All rights reserved.