commit fd0247565549dd16c094748d9adcf28b44dda09e
author Ed Willink <ed@willink.me.uk> Wed Jun 15 13:37:12 2016 +0100
committer Ed Willink <ed@willink.me.uk> Wed Jun 15 13:38:55 2016 +0100
tree a97a1bd0fa4c2f062b2a385da1f85d7e6fa760e4
parent ea0628f4b95c6b7061a9bb3f7885cbbd1542b439

[unrelated] Avoid duplicate list entries

plugins/org.eclipse.qvtd.compiler/src/org/eclipse/qvtd/compiler/internal/qvtp2qvts/AbstractSimpleNode.java

diff --git a/plugins/org.eclipse.qvtd.compiler/src/org/eclipse/qvtd/compiler/internal/qvtp2qvts/AbstractSimpleNode.java b/plugins/org.eclipse.qvtd.compiler/src/org/eclipse/qvtd/compiler/internal/qvtp2qvts/AbstractSimpleNode.java
index 9c3eff3..4b4b827 100644
--- a/plugins/org.eclipse.qvtd.compiler/src/org/eclipse/qvtd/compiler/internal/qvtp2qvts/AbstractSimpleNode.java
+++ b/plugins/org.eclipse.qvtd.compiler/src/org/eclipse/qvtd/compiler/internal/qvtp2qvts/AbstractSimpleNode.java
@@ -31,8 +31,9 @@
 
 	@Override
 	public void addTypedElement(@NonNull TypedElement typedElement) {
-		boolean wasAdded = typedElements.add(typedElement);
-		assert wasAdded;
+		if (!typedElements.contains(typedElement)) {
+			typedElements.add(typedElement);
+		}
 	}
 
 	@Override