tree 5d325469825e6163ebc54fac07b3896526dd530b
parent 6b33040eae0836acafec99e78413722b1ff23c75
author Davide Pesavento <davidepesa@gmail.com> 1556218242 -0400
committer Davide Pesavento <davidepesa@gmail.com> 1556226049 -0400

Fix compilation with Boost 1.70.0

Refs: #4923
Change-Id: Ic0cb78586cee1ad5e527f7d2a23fd2e1bdbd0bcb