1 files changed, 7 insertions, 1 deletions

diff --git a/language-ide/src/main/java/tools/refinery/language/ide/ProblemIdeModule.java b/language-ide/src/main/java/tools/refinery/language/ide/ProblemIdeModule.java
index 3502c29f..51cecf06 100644
--- a/language-ide/src/main/java/tools/refinery/language/ide/ProblemIdeModule.java
+++ b/language-ide/src/main/java/tools/refinery/language/ide/ProblemIdeModule.java
@@ -4,9 +4,11 @@
 package tools.refinery.language.ide;
 
 import org.eclipse.xtext.ide.editor.contentassist.IPrefixMatcher;
+import org.eclipse.xtext.ide.editor.contentassist.IdeCrossrefProposalProvider;
 import org.eclipse.xtext.ide.editor.syntaxcoloring.ISemanticHighlightingCalculator;
 
 import tools.refinery.language.ide.contentassist.FuzzyMatcher;
+import tools.refinery.language.ide.contentassist.ProblemCrossrefProposalProvider;
 import tools.refinery.language.ide.syntaxcoloring.ProblemSemanticHighlightingCalculator;
 
 /**
@@ -16,9 +18,13 @@ public class ProblemIdeModule extends AbstractProblemIdeModule {
         public Class<? extends ISemanticHighlightingCalculator> bindISemanticHighlightingCalculator() {
                 return ProblemSemanticHighlightingCalculator.class;
         }
-        
+
         @Override
         public Class<? extends IPrefixMatcher> bindIPrefixMatcher() {
                 return FuzzyMatcher.class;
         }
+
+        public Class<? extends IdeCrossrefProposalProvider> bindIdeCrossrefProposalProvider() {
+                return ProblemCrossrefProposalProvider.class;
+        }
 }