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