22 #ifndef _cvc3__typecheck_exception_h_
23 #define _cvc3__typecheck_exception_h_
40 return "Type Checking error: " +
d_msg;
TypecheckException(const char *msg)
virtual ~TypecheckException()
TypecheckException(const std::string &msg)
virtual std::string toString() const