From 3b1689612bb2ff984aa90cd84093ffc043d78ba9 Mon Sep 17 00:00:00 2001 From: Morgan Deters Date: Wed, 21 Sep 2011 03:26:13 +0000 Subject: considerable bindings interface work, some improvements to build --- src/util/exception.i | 1 + 1 file changed, 1 insertion(+) (limited to 'src/util/exception.i') diff --git a/src/util/exception.i b/src/util/exception.i index d3ff896d2..52ff28922 100644 --- a/src/util/exception.i +++ b/src/util/exception.i @@ -3,5 +3,6 @@ %} %ignore CVC4::operator<<(std::ostream&, const Exception&); +%ignore CVC4::Exception::Exception(const char*); %include "util/exception.h" -- cgit v1.2.3