tree facc88804640f6b20b54f5ca5061be7a33410b3d
parent d9479aa9fa79a530cf6b916a50fd3f9eb0426a0f
author Davide Pesavento <davide.pesavento@lip6.fr> 1403880111 +0200
committer Davide Pesavento <davide.pesavento@lip6.fr> 1403880111 +0200

build: minor fix for python3 compatibility.

refs #1302 note #12

Change-Id: I58679c7b5223adf15a9317c53b76e5e77882bf17