1 files changed, 0 insertions, 16 deletions

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

- * generated by Xtext 2.12.0

- */

-package ca.mcgill.ecse.dslreasoner;

-

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

-

-/**

- * Initialization support for running Xtext languages without Equinox extension registry.

- */

-@SuppressWarnings("all")

-public class VampireLanguageStandaloneSetup extends VampireLanguageStandaloneSetupGenerated {

-  public static void doSetup() {

-    new VampireLanguageStandaloneSetup().createInjectorAndDoEMFRegistration();

-  }

-}