1 files changed, 0 insertions, 34 deletions

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

-

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

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

-import org.eclipse.xtext.xbase.lib.util.ToStringBuilder;

-

-@Data

-@SuppressWarnings("all")

-public class VampireSolutionModel {

-  @Override

-  @Pure

-  public int hashCode() {

-    return 1;

-  }

-  

-  @Override

-  @Pure

-  public boolean equals(final Object obj) {

-    if (this == obj)

-      return true;

-    if (obj == null)

-      return false;

-    if (getClass() != obj.getClass())

-      return false;

-    return true;

-  }

-  

-  @Override

-  @Pure

-  public String toString() {

-    ToStringBuilder b = new ToStringBuilder(this);

-    return b.toString();

-  }

-}