1 files changed, 0 insertions, 19 deletions

diff --git a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.reasoner/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/reasoner/builder/VampireSolverException.java b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.reasoner/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/reasoner/builder/VampireSolverException.java
deleted file mode 100644
index b96df82a..00000000
--- a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.reasoner/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/reasoner/builder/VampireSolverException.java
+++ /dev/null
@@ -1,19 +0,0 @@
-package ca.mcgill.ecse.dslreasoner.vampire.reasoner.builder;

-

-import java.util.List;

-import org.eclipse.xtext.xbase.lib.IterableExtensions;

-

-@SuppressWarnings("all")

-public class VampireSolverException extends Exception {

-  public VampireSolverException(final String s) {

-    super(s);

-  }

-  

-  public VampireSolverException(final String s, final Exception e) {

-    super(s, e);

-  }

-  

-  public VampireSolverException(final String s, final List<String> errors, final Exception e) {

-    super(((s + "\n") + IterableExtensions.join(errors, "\n")), e);

-  }

-}