1 files changed, 0 insertions, 30 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
deleted file mode 100644
index 51cecf06..00000000
--- a/language-ide/src/main/java/tools/refinery/language/ide/ProblemIdeModule.java
+++ /dev/null
@@ -1,30 +0,0 @@
-/*
- * generated by Xtext 2.25.0
- */
-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;
-
-/**
- * Use this class to register ide components.
- */
-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;
-        }
-}