1 2 3 4 5 6 7
%{ #include "util/exception.h" %} %ignore CVC4::operator<<(std::ostream&, const Exception&); %include "util/exception.h"