diff options
Diffstat (limited to 'Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.queries/src/ca/mcgill/ecse')
| -rw-r--r-- | Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.queries/src/ca/mcgill/ecse/dslreasoner/vampire/queries/vampireQueries.vql | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.queries/src/ca/mcgill/ecse/dslreasoner/vampire/queries/vampireQueries.vql b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.queries/src/ca/mcgill/ecse/dslreasoner/vampire/queries/vampireQueries.vql index 2bc22f9e..ef61e4d1 100644 --- a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.queries/src/ca/mcgill/ecse/dslreasoner/vampire/queries/vampireQueries.vql +++ b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.queries/src/ca/mcgill/ecse/dslreasoner/vampire/queries/vampireQueries.vql | |||
| @@ -48,9 +48,9 @@ pattern VLSInequality(term: VLSInequality){ | |||
| 48 | VLSInequality(term); | 48 | VLSInequality(term); |
| 49 | } | 49 | } |
| 50 | 50 | ||
| 51 | pattern VLSFunctionFof(term: VLSFunctionFof){ | 51 | //pattern VLSFunctionFof(term: VLSFunctionFof){ |
| 52 | VLSFunctionFof(term); | 52 | // VLSFunctionFof(term); |
| 53 | } | 53 | //} |
| 54 | 54 | ||
| 55 | //pattern VLSFofTerm(term: VLSFofTerm){ | 55 | //pattern VLSFofTerm(term: VLSFofTerm){ |
| 56 | // VLSFofTerm(term); | 56 | // VLSFofTerm(term); |