1 files changed, 13 insertions, 0 deletions

diff --git a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.reasoner/src-gen/ca/mcgill/ecse/dslreasoner/vampire/reasoner/queries/.gitignore b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.reasoner/src-gen/ca/mcgill/ecse/dslreasoner/vampire/reasoner/queries/.gitignore
new file mode 100644
index 00000000..f30ede2c
--- /dev/null
+++ b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.reasoner/src-gen/ca/mcgill/ecse/dslreasoner/vampire/reasoner/queries/.gitignore
@@ -0,0 +1,13 @@
+/.VLSComment.java._trace
+/.VLSAnd.java._trace
+/.VLSAnnotation.java._trace
+/.VLSEquivalent.java._trace
+/.VLSExistentialQuantifier.java._trace
+/.VLSFofFormula.java._trace
+/.VLSFunction.java._trace
+/.VLSFunctionFof.java._trace
+/.VLSInequality.java._trace
+/.VLSOr.java._trace
+/.VLSUnaryNegation.java._trace
+/.VLSUniversalQuantifier.java._trace
+/.VampireQueries.java._trace