diff -r fdaa0e4b7eaf -r 7c23b7de2b8d devtools/instrument.py
--- a/devtools/instrument.py	Fri Sep 11 14:28:06 2015 +0200
+++ b/devtools/instrument.py	Fri Sep 11 14:52:09 2015 +0200
@@ -14,6 +14,7 @@
 # You should have received a copy of the GNU Lesser General Public License along
 # with this program. If not, see <http://www.gnu.org/licenses/>.
 """Instrumentation utilities"""
+from __future__ import print_function
 
 import os
 
@@ -45,10 +46,10 @@
         return _COLORS[key]
 
 def warn(msg, *args):
-    print 'WARNING: %s' % (msg % args)
+    print('WARNING: %s' % (msg % args))
 
 def info(msg):
-    print 'INFO: ' + msg
+    print('INFO: ' + msg)
 
 
 class PropagationAnalyzer(object):