diff options
Diffstat (limited to 'src/util/Assert.i')
| -rw-r--r-- | src/util/Assert.i | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/src/util/Assert.i b/src/util/Assert.i index 11881982b..b43c36520 100644 --- a/src/util/Assert.i +++ b/src/util/Assert.i @@ -2,4 +2,7 @@ #include "util/Assert.h" %} +%rename(CVC4IllegalArgumentException) CVC4::IllegalArgumentException; +%ignore CVC4::InternalErrorException::InternalErrorException(const char*, const char*, unsigned, const char*, ...); + %include "util/Assert.h" |