示例#1
0
文件: exception.cpp 项目: avigad/lean
throwable::throwable(sstream const & strm):m_msg(strm.str()) {}
示例#2
0
exception::exception(sstream const & strm):m_msg(strm.str()) {}