1 files changed, 1 insertions, 1 deletions
diff --git a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.reasoner/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/reasoner/builder/VampireHandler.java b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.reasoner/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/reasoner/builder/VampireHandler.java
index fcbdfde7..e32530cb 100644
--- a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.reasoner/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/reasoner/builder/VampireHandler.java
+++ b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.reasoner/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/reasoner/builder/VampireHandler.java
@@ -41,7 +41,7 @@ public class VampireHandler {
      long startTime = (-((long) 1));
      long solverTime = (-((long) 1));
      Process p = null;
-      boolean _equals = Objects.equal(configuration.solver, BackendSolver.VAMP);
+      boolean _equals = Objects.equal(configuration.solver, BackendSolver.VAMPIRE);
      if (_equals) {
        String OPTION = " --mode casc_sat ";
        if ((configuration.runtimeLimit != (-1))) {

diff --git a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.reasoner/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/reasoner/builder/VampireHandler.java b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.reasoner/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/reasoner/builder/VampireHandler.java index fcbdfde7..e32530cb 100644 --- a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.reasoner/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/reasoner/builder/VampireHandler.java +++ b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.reasoner/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/reasoner/builder/VampireHandler.java
@@ -41,7 +41,7 @@ public class VampireHandler {
41	long startTime = (-((long) 1));	41	long startTime = (-((long) 1));
42	long solverTime = (-((long) 1));	42	long solverTime = (-((long) 1));
43	Process p = null;	43	Process p = null;
44	boolean _equals = Objects.equal(configuration.solver, BackendSolver.VAMP);	44	boolean _equals = Objects.equal(configuration.solver, BackendSolver.VAMPIRE);
45	if (_equals) {	45	if (_equals) {
46	String OPTION = " --mode casc_sat ";	46	String OPTION = " --mode casc_sat ";
47	if ((configuration.runtimeLimit != (-1))) {	47	if ((configuration.runtimeLimit != (-1))) {