600d285 Work around problem with boost::shared_array(NULL) ctor and Boost 1.53.0

Authored and Committed by sbergmann 11 years ago
    Work around problem with boost::shared_array(NULL) ctor and Boost 1.53.0
    
        
file modified
+3 -0