#include <string> namespace boost { class exception; std::string diagnostic_information( boost::exception const & ); }