tree 850e5d05246434ebbffe50d4835e4c583253e31c
parent bd724319452e02cc362b491b86afe6960db662f1
author Davide Pesavento <davide.pesavento@lip6.fr> 1524016794 -0400
committer Davide Pesavento <davide.pesavento@lip6.fr> 1524155560 -0400

tools: fix compilation with Boost 1.67

Change-Id: Ia2bdaa0c78757a03796acf64b15c781ec9fa6c0e
Refs: #4584