remove Alloy solver copy

1 files changed, 0 insertions, 18 deletions

diff --git a/Solvers/Alloy-Solver2/hu.bme.mit.inf.dslreasoner.alloy.language/src-gen/hu/bme/mit/inf/dslreasoner/validation/AbstractAlloyLanguageValidator.java b/Solvers/Alloy-Solver2/hu.bme.mit.inf.dslreasoner.alloy.language/src-gen/hu/bme/mit/inf/dslreasoner/validation/AbstractAlloyLanguageValidator.java
deleted file mode 100644
index 3780b64b..00000000
--- a/Solvers/Alloy-Solver2/hu.bme.mit.inf.dslreasoner.alloy.language/src-gen/hu/bme/mit/inf/dslreasoner/validation/AbstractAlloyLanguageValidator.java
+++ /dev/null
@@ -1,18 +0,0 @@
-/*
- * generated by Xtext
- */
-package hu.bme.mit.inf.dslreasoner.validation;
-
-import java.util.ArrayList;
-import java.util.List;
-import org.eclipse.emf.ecore.EPackage;
-
-public class AbstractAlloyLanguageValidator extends org.eclipse.xtext.validation.AbstractDeclarativeValidator {
-
-        @Override
-        protected List<EPackage> getEPackages() {
-            List<EPackage> result = new ArrayList<EPackage>();
-            result.add(hu.bme.mit.inf.dslreasoner.alloyLanguage.AlloyLanguagePackage.eINSTANCE);
-                return result;
-        }
-}