diff options
Diffstat (limited to 'Tests/ca.mcgill.ecse.dslreasoner.vampire.test/src/ca/mcgill/ecse/dslreasoner/vampire/queries/FamPatterns.vql')
| -rw-r--r-- | Tests/ca.mcgill.ecse.dslreasoner.vampire.test/src/ca/mcgill/ecse/dslreasoner/vampire/queries/FamPatterns.vql | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/src/ca/mcgill/ecse/dslreasoner/vampire/queries/FamPatterns.vql b/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/src/ca/mcgill/ecse/dslreasoner/vampire/queries/FamPatterns.vql index 013d0419..60679874 100644 --- a/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/src/ca/mcgill/ecse/dslreasoner/vampire/queries/FamPatterns.vql +++ b/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/src/ca/mcgill/ecse/dslreasoner/vampire/queries/FamPatterns.vql | |||
| @@ -1,4 +1,4 @@ | |||
| 1 | package hu.bme.mit.inf.dslreasoner.domains.fam | 1 | package ca.mcgill.ecse.dslreasoner.vampire.queries |
| 2 | 2 | ||
| 3 | import epackage "http://www.inf.mit.bme.hu/viatrasolver/example/fam" | 3 | import epackage "http://www.inf.mit.bme.hu/viatrasolver/example/fam" |
| 4 | 4 | ||