1 files changed, 0 insertions, 29 deletions

diff --git a/Solvers/Alloy-Solver2/hu.bme.mit.inf.dslreasoner.alloy.language.ui/src/hu/bme/mit/inf/dslreasoner/ui/labeling/AlloyLanguageLabelProvider.xtend b/Solvers/Alloy-Solver2/hu.bme.mit.inf.dslreasoner.alloy.language.ui/src/hu/bme/mit/inf/dslreasoner/ui/labeling/AlloyLanguageLabelProvider.xtend
deleted file mode 100644
index d6e00ca5..00000000
--- a/Solvers/Alloy-Solver2/hu.bme.mit.inf.dslreasoner.alloy.language.ui/src/hu/bme/mit/inf/dslreasoner/ui/labeling/AlloyLanguageLabelProvider.xtend
+++ /dev/null
@@ -1,29 +0,0 @@
-/*
-* generated by Xtext
-*/
-package hu.bme.mit.inf.dslreasoner.ui.labeling
-
-import com.google.inject.Inject
-
-/**
- * Provides labels for a EObjects.
- * 
- * see http://www.eclipse.org/Xtext/documentation.html#labelProvider
- */
-class AlloyLanguageLabelProvider extends org.eclipse.xtext.ui.label.DefaultEObjectLabelProvider {
-
-        @Inject
-        new(org.eclipse.emf.edit.ui.provider.AdapterFactoryLabelProvider delegate) {
-                super(delegate);
-        }
-
-        // Labels and icons can be computed like this:
-        
-//      def text(Greeting ele) {
-//              'A greeting to ' + ele.name
-//      }
-//
-//      def image(Greeting ele) {
-//              'Greeting.gif'
-//      }
-}