projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 5c4debb) | patch
IllegalArgumentException in java needs to be named "CVC4IllegalArgumentException...
authorMorgan Deters <mdeters@gmail.com>
Thu, 4 Oct 2012 17:43:21 +0000 (17:43 +0000)
committerMorgan Deters <mdeters@gmail.com>
Thu, 4 Oct 2012 17:43:21 +0000 (17:43 +0000)
commitedc69feaf7b41e0166f172d943b0d981f392474a
tree704ef6c15d3f7b32620b65fdd6067bb99da6188dtree
parent5c4debb1893109a4d4a2feacd910d3778aeca8f4commit | diff
IllegalArgumentException in java needs to be named "CVC4IllegalArgumentException" to avoid a name clash with java.lang.IllegalArgumentException, which isn't easily avoided, due to swig-autogenerated code that uses it unqualified.  X-(
src/util/exception.i diff | blob | history