1 files changed, 0 insertions, 19 deletions

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

- * generated by Xtext 2.12.0

- */

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

-

-import ca.mcgill.ecse.dslreasoner.ui.AbstractVampireLanguageUiModule;

-import org.eclipse.ui.plugin.AbstractUIPlugin;

-import org.eclipse.xtend.lib.annotations.FinalFieldsConstructor;

-

-/**

- * Use this class to register components to be used within the Eclipse IDE.

- */

-@FinalFieldsConstructor

-@SuppressWarnings("all")

-public class VampireLanguageUiModule extends AbstractVampireLanguageUiModule {

-  public VampireLanguageUiModule(final AbstractUIPlugin plugin) {

-    super(plugin);

-  }

-}