Mercurial > hg > truffle
diff mx/eclipse-settings/org.eclipse.jdt.ui.prefs @ 5630:b60a368c8104
Add correct checkcast node to entry of catch block after exception dispatch.
author | Thomas Wuerthinger <thomas.wuerthinger@oracle.com> |
---|---|
date | Sat, 16 Jun 2012 00:39:30 +0200 |
parents | 04ebcabcba4f |
children | 44d92b447951 |