From 717916e99b2c8e7965fb31f4448b4336d8c2f19a Mon Sep 17 00:00:00 2001 From: ArenBabikian Date: Fri, 1 Feb 2019 16:03:30 -0500 Subject: Fix FAM Test. Begin Grammar Fix. --- .../ca/mcgill/ecse/dslreasoner/vampire/queries/.gitignore | 13 +++++++++++++ 1 file changed, 13 insertions(+) (limited to 'Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.queries/src-gen/ca/mcgill/ecse/dslreasoner/vampire') diff --git a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.queries/src-gen/ca/mcgill/ecse/dslreasoner/vampire/queries/.gitignore b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.queries/src-gen/ca/mcgill/ecse/dslreasoner/vampire/queries/.gitignore index 190dbd80..f357d2af 100644 --- a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.queries/src-gen/ca/mcgill/ecse/dslreasoner/vampire/queries/.gitignore +++ b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.queries/src-gen/ca/mcgill/ecse/dslreasoner/vampire/queries/.gitignore @@ -11,3 +11,16 @@ /.VLSUnaryNegation.java._trace /.VLSUniversalQuantifier.java._trace /.VampireQueries.java._trace +/VLSAnd.java +/VLSAnnotation.java +/VLSComment.java +/VLSEquivalent.java +/VLSExistentialQuantifier.java +/VLSFofFormula.java +/VLSFunction.java +/VLSFunctionFof.java +/VLSInequality.java +/VLSOr.java +/VLSUnaryNegation.java +/VLSUniversalQuantifier.java +/VampireQueries.java -- cgit v1.2.3-70-g09d2