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/VampireSolverConfiguration.java b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.reasoner/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/reasoner/VampireSolverConfiguration.java
deleted file mode 100644
index c094872e..00000000
--- a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.reasoner/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/reasoner/VampireSolverConfiguration.java
+++ /dev/null
@@ -1,19 +0,0 @@
-package ca.mcgill.ecse.dslreasoner.vampire.reasoner;

-

-import ca.mcgill.ecse.dslreasoner.vampire.reasoner.BackendSolver;

-import hu.bme.mit.inf.dslreasoner.logic.model.builder.LogicSolverConfiguration;

-

-@SuppressWarnings("all")

-public class VampireSolverConfiguration extends LogicSolverConfiguration {

-  public int contCycleLevel = 0;

-  

-  public boolean uniquenessDuplicates = false;

-  

-  public int iteration = (-1);

-  

-  public BackendSolver solver = BackendSolver.VAMPIRE;

-  

-  public boolean genModel = true;

-  

-  public boolean server = false;

-}