5 files changed, 0 insertions, 43 deletions

diff --git a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language.ide/xtend-gen/ca/mcgill/ecse/dslreasoner/ide/.VampireLanguageIdeModule.xtendbin b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language.ide/xtend-gen/ca/mcgill/ecse/dslreasoner/ide/.VampireLanguageIdeModule.xtendbin
deleted file mode 100644
index 8e73c63a..00000000
--- a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language.ide/xtend-gen/ca/mcgill/ecse/dslreasoner/ide/.VampireLanguageIdeModule.xtendbin
+++ /dev/null
diff --git a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language.ide/xtend-gen/ca/mcgill/ecse/dslreasoner/ide/.VampireLanguageIdeSetup.xtendbin b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language.ide/xtend-gen/ca/mcgill/ecse/dslreasoner/ide/.VampireLanguageIdeSetup.xtendbin
deleted file mode 100644
index a5248945..00000000
--- a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language.ide/xtend-gen/ca/mcgill/ecse/dslreasoner/ide/.VampireLanguageIdeSetup.xtendbin
+++ /dev/null
diff --git a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language.ide/xtend-gen/ca/mcgill/ecse/dslreasoner/ide/.gitignore b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language.ide/xtend-gen/ca/mcgill/ecse/dslreasoner/ide/.gitignore
deleted file mode 100644
index 074a5969..00000000
--- a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language.ide/xtend-gen/ca/mcgill/ecse/dslreasoner/ide/.gitignore
+++ /dev/null
@@ -1,6 +0,0 @@
-/.VampireLanguageIdeModule.java._trace
-/.VampireLanguageIdeSetup.java._trace
-/.VampireLanguageIdeModule.xtendbin
-/.VampireLanguageIdeSetup.xtendbin
-/VampireLanguageIdeModule.java
-/VampireLanguageIdeSetup.java
diff --git a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language.ide/xtend-gen/ca/mcgill/ecse/dslreasoner/ide/VampireLanguageIdeModule.java b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language.ide/xtend-gen/ca/mcgill/ecse/dslreasoner/ide/VampireLanguageIdeModule.java
deleted file mode 100644
index 788815c4..00000000
--- a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language.ide/xtend-gen/ca/mcgill/ecse/dslreasoner/ide/VampireLanguageIdeModule.java
+++ /dev/null
@@ -1,13 +0,0 @@
-/**

- * generated by Xtext 2.12.0

- */

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

-

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

-

-/**

- * Use this class to register ide components.

- */

-@SuppressWarnings("all")

-public class VampireLanguageIdeModule extends AbstractVampireLanguageIdeModule {

-}

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));

-  }

-}