1 files changed, 6 insertions, 0 deletions
diff --git a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.reasoner/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/reasoner/.gitignore b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.reasoner/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/reasoner/.gitignore
index 9efd2ac5..70f60102 100644
--- a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.reasoner/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/reasoner/.gitignore
+++ b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.reasoner/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/reasoner/.gitignore
@@ -2,3 +2,9 @@
 /.TypeMappingTechnique.java._trace
 /.VampireBackendSolver.java._trace
 /.VampireSolverConfiguration.java._trace
+/.VampireAnalyzerConfiguration.xtendbin
+/.VampireSolver.xtendbin
+/TypeMappingTechnique.java
+/VampireBackendSolver.java
+/VampireSolver.java
+/VampireSolverConfiguration.java

diff --git a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.reasoner/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/reasoner/.gitignore b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.reasoner/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/reasoner/.gitignore index 9efd2ac5..70f60102 100644 --- a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.reasoner/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/reasoner/.gitignore +++ b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.reasoner/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/reasoner/.gitignore
@@ -2,3 +2,9 @@
2	/.TypeMappingTechnique.java._trace	2	/.TypeMappingTechnique.java._trace
3	/.VampireBackendSolver.java._trace	3	/.VampireBackendSolver.java._trace
4	/.VampireSolverConfiguration.java._trace	4	/.VampireSolverConfiguration.java._trace
		5	/.VampireAnalyzerConfiguration.xtendbin
		6	/.VampireSolver.xtendbin
		7	/TypeMappingTechnique.java
		8	/VampireBackendSolver.java
		9	/VampireSolver.java
		10	/VampireSolverConfiguration.java