1 files changed, 0 insertions, 24 deletions

diff --git a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language.ide/xtend-gen/ca/mcgill/ecse/dslreasoner/ide/VampireLanguageIdeSetup.java b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language.ide/xtend-gen/ca/mcgill/ecse/dslreasoner/ide/VampireLanguageIdeSetup.java
deleted file mode 100644
index 05decf8c..00000000
--- a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language.ide/xtend-gen/ca/mcgill/ecse/dslreasoner/ide/VampireLanguageIdeSetup.java
+++ /dev/null
@@ -1,24 +0,0 @@
-/**

- * generated by Xtext 2.12.0

- */

-package ca.mcgill.ecse.dslreasoner.ide;

-

-import ca.mcgill.ecse.dslreasoner.VampireLanguageRuntimeModule;

-import ca.mcgill.ecse.dslreasoner.VampireLanguageStandaloneSetup;

-import ca.mcgill.ecse.dslreasoner.ide.VampireLanguageIdeModule;

-import com.google.inject.Guice;

-import com.google.inject.Injector;

-import org.eclipse.xtext.util.Modules2;

-

-/**

- * Initialization support for running Xtext languages as language servers.

- */

-@SuppressWarnings("all")

-public class VampireLanguageIdeSetup extends VampireLanguageStandaloneSetup {

-  @Override

-  public Injector createInjector() {

-    VampireLanguageRuntimeModule _vampireLanguageRuntimeModule = new VampireLanguageRuntimeModule();

-    VampireLanguageIdeModule _vampireLanguageIdeModule = new VampireLanguageIdeModule();

-    return Guice.createInjector(Modules2.mixin(_vampireLanguageRuntimeModule, _vampireLanguageIdeModule));

-  }

-}