commit | 3e1e6ffc64a93b4551ada2356f4b471df0920514 | [log] [tgz] |
---|---|---|
author | Ed Willink <ed@willink.me.uk> | Tue Feb 18 08:28:14 2020 +0000 |
committer | Ed Willink <ed@willink.me.uk> | Tue Feb 18 08:28:14 2020 +0000 |
tree | c057e154d7cdf16615e68d965c793e42dd53dcfb | |
parent | bcbc2c221c7c2fe2da687059ae9d85a2f3a85351 [diff] |
[unrelated] Fix UniqueList construction with content
diff --git a/plugins/org.eclipse.ocl.pivot/src/org/eclipse/ocl/pivot/utilities/UniqueList.java b/plugins/org.eclipse.ocl.pivot/src/org/eclipse/ocl/pivot/utilities/UniqueList.java index 8e6fb1a..b2089a9 100644 --- a/plugins/org.eclipse.ocl.pivot/src/org/eclipse/ocl/pivot/utilities/UniqueList.java +++ b/plugins/org.eclipse.ocl.pivot/src/org/eclipse/ocl/pivot/utilities/UniqueList.java
@@ -41,7 +41,7 @@ */ public UniqueList(Collection<? extends E> c) { if (c.size() >= SMALL_TO_LARGE_THRESHOLD) { - set = new HashSet<>(c); + set = new HashSet<>(c.size()); } for (E aT : c) { add(aT);