a98eff2 Fix boost API Change issue

Authored and Committed by Jochen Schmitt 12 years ago
    Fix boost API Change issue
    
        
file modified
+11 -3
file added
+30