7388770 make gcc7 truly happy

Authored and Committed by pwouters 6 years ago
    make gcc7 truly happy
    
        
file modified
+22 -4