Update ArrayPackedSet.java #244

Merged
merged 1 commit into from Aug 21, 2014

Conversation

Projects
None yet
2 participants
@martinschaef
Contributor

martinschaef commented Aug 20, 2014

check "other instanceof ArrayPackedSet" before doing the cast...

Update ArrayPackedSet.java
check "other instanceof ArrayPackedSet" before doing the cast...

ericbodden pushed a commit that referenced this pull request Aug 21, 2014

Eric Bodden
Merge pull request #244 from martinschaef/patch-3
Update ArrayPackedSet.java

@ericbodden ericbodden merged commit 691ddd6 into Sable:develop Aug 21, 2014

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment