Commit 9784cff55688d1ee93275e39c2339d5a486ed78b

Michiharu Ariza 2018-11-30T16:07:08

fix another pesky gcc error