tree ac6cec99992e0a0f357b80552e6e01e98a325971
parent 919f9f22effbd8a14fce286b4be958eeca3491e1
author Davide Pesavento <davidepesa@gmail.com> 1562526404 -0400
committer Davide Pesavento <davidepesa@gmail.com> 1562526404 -0400

Fix build with Boost 1.70.0

Refs: #4967
Change-Id: Ie5973314427468d493d10bff495c6882d3d86ca3