IllegalArgumentException in java needs to be named "CVC4IllegalArgumentException...

diff --git a/src/util/exception.i b/src/util/exception.i
index c5daadec0f5b83229b3ffef1fd30aa71f09db7cb..422f34b102cac61f03c5b234754e6126433d08bb 100644 (file)
--- a/src/util/exception.i
+++ b/src/util/exception.i
@@ -6,4 +6,6 @@
 %ignore CVC4::Exception::Exception(const char*) throw();
 %typemap(javabase) CVC4::Exception "java.lang.RuntimeException";
 
+%rename(CVC4IllegalArgumentException) CVC4::IllegalArgumentException;
+
 %include "util/exception.h"