23 #ifndef _cvc3__command_line_exception_h_
24 #define _cvc3__command_line_exception_h_
39 return "Error while processing a command line option:\n " +
d_msg;
CLException(const std::string &msg)
virtual std::string toString() const
CLException(const char *msg)