34259b4 fix build with boost-1.73

Authored and Committed by junghans 3 years ago
    fix build with boost-1.73
    
        
file added
+22
file modified
+9 -1