1 files changed, 0 insertions, 6 deletions

diff --git a/subprojects/language-ide/src/main/java/tools/refinery/language/ide/contentassist/ProblemCrossrefProposalProvider.java b/subprojects/language-ide/src/main/java/tools/refinery/language/ide/contentassist/ProblemCrossrefProposalProvider.java
index 27e936a1..166b4400 100644
--- a/subprojects/language-ide/src/main/java/tools/refinery/language/ide/contentassist/ProblemCrossrefProposalProvider.java
+++ b/subprojects/language-ide/src/main/java/tools/refinery/language/ide/contentassist/ProblemCrossrefProposalProvider.java
@@ -169,12 +169,6 @@ public class ProblemCrossrefProposalProvider extends IdeCrossrefProposalProvider
                         return supertypeShouldBeVisible(candidate, context, builtinSymbols, candidateEObjectOrProxy);
                 }
 
-                if (eReference.equals(ProblemPackage.Literals.ASSERTION__RELATION)) {
-                        // Currently, we don't support assertions on the {@code contains} relation.
-                        return !builtinSymbols.contains().equals(candidateEObjectOrProxy) &&
-                                        !builtinSymbols.contained().equals(candidateEObjectOrProxy);
-                }
-
                 return true;
         }