tree f41da1addd26d6eed7b378549029cbe1864823a4
parent 7d9039bef9da6a6888850f9035a9f178a2467e7f
author Davide Pesavento <davide.pesavento@lip6.fr> 1524004500 -0400
committer Davide Pesavento <davide.pesavento@lip6.fr> 1524015009 -0400

tools: fix compilation with Boost 1.67

Change-Id: I0f4bae23f26eca07044990ce6dd01da750cfb569
Refs: #4584