tree fe87c1b6744f96ab69f0ac4720825686489cbb48
parent c8f17e51ede5f4d71a7f1ded3a92333d611bf182
author Davide Pesavento <davide.pesavento@lip6.fr> 1503620219 -0400
committer Davide Pesavento <davide.pesavento@lip6.fr> 1503718224 -0400

Fix compilation with Boost 1.65.0

Change-Id: Ib88b7e13bddb1728dd882c086e97edffdd696f0d
Refs: #4258