diff options
| author |  ArenBabikian <aren.babikian@mail.mcgill.ca> | 2019-01-16 01:41:23 -0500 |
|---|---|---|
| committer | ArenBabikian <aren.babikian@mail.mcgill.ca> | 2019-01-16 01:41:23 -0500 |
| commit | b685589e596bdc27fd9cbbbdde347a5d6f1439e0 (patch) | |
| tree | ff0e8f49b6f107ebc5937b58c1e5e0154c5e37d1 /Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src/ca/mcgill/ecse/dslreasoner/scoping/VampireLanguageScopeProvider.xtend | |
| parent | Initial workspace setup (diff) | |
| download | VIATRA-Generator-b685589e596bdc27fd9cbbbdde347a5d6f1439e0.tar.gz VIATRA-Generator-b685589e596bdc27fd9cbbbdde347a5d6f1439e0.tar.zst VIATRA-Generator-b685589e596bdc27fd9cbbbdde347a5d6f1439e0.zip | |
FAM MM transformation works
Diffstat (limited to 'Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src/ca/mcgill/ecse/dslreasoner/scoping/VampireLanguageScopeProvider.xtend')
| -rw-r--r-- | Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src/ca/mcgill/ecse/dslreasoner/scoping/VampireLanguageScopeProvider.xtend | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src/ca/mcgill/ecse/dslreasoner/scoping/VampireLanguageScopeProvider.xtend b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src/ca/mcgill/ecse/dslreasoner/scoping/VampireLanguageScopeProvider.xtend index d6b4a1ae..fb967eee 100644 --- a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src/ca/mcgill/ecse/dslreasoner/scoping/VampireLanguageScopeProvider.xtend +++ b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src/ca/mcgill/ecse/dslreasoner/scoping/VampireLanguageScopeProvider.xtend | |||
| @@ -11,5 +11,5 @@ package ca.mcgill.ecse.dslreasoner.scoping | |||
| 11 | * on how and when to use it. | 11 | * on how and when to use it. |
| 12 | */ | 12 | */ |
| 13 | class VampireLanguageScopeProvider extends AbstractVampireLanguageScopeProvider { | 13 | class VampireLanguageScopeProvider extends AbstractVampireLanguageScopeProvider { |
| 14 | 14 | //TODO | |
| 15 | } | 15 | } |