make cpp lint happy across the board #182

Merged
merged 1 commit into from Feb 27, 2019
Merged

make cpp lint happy across the board #182

merged 1 commit into from Feb 27, 2019