tree 3db17f8456200f1755f80138244800319420784c
parent 77f1c7665e19b624793e93480057967ec198ebfe
author Davide Pesavento <davidepesa@gmail.com> 1551505655 -0500
committer Davide Pesavento <davidepesa@gmail.com> 1552164566 -0500

Fix build with Xcode 10.2

Refs: #4860
Change-Id: I6a5ee5259185ac6311cc3ea75921a8d0ce522f1b