tree cecdaebb730d36c1024fde1091b690212248b873
parent e87156e0087c7ef0e8812424aa27d5133620e9dc
author Davide Pesavento <davide.pesavento@lip6.fr> 1503517222 -0400
committer Davide Pesavento <davide.pesavento@lip6.fr> 1503541480 -0400

Fix compilation with Boost 1.65.0

Change-Id: I6f56d6bf135d9c862b04cb086340301ee98ef0ed
Refs: #4256