diff options
Diffstat (limited to 'Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/vampireLanguage/VLSVariable.java')
| -rw-r--r-- | Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/vampireLanguage/VLSVariable.java | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/vampireLanguage/VLSVariable.java b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/vampireLanguage/VLSVariable.java index 9750e4c5..5a9dc028 100644 --- a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/vampireLanguage/VLSVariable.java +++ b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/vampireLanguage/VLSVariable.java | |||
| @@ -20,7 +20,7 @@ package ca.mcgill.ecse.dslreasoner.vampireLanguage; | |||
| 20 | * @model | 20 | * @model |
| 21 | * @generated | 21 | * @generated |
| 22 | */ | 22 | */ |
| 23 | public interface VLSVariable extends VLSTerm | 23 | public interface VLSVariable extends VLSVariableDeclaration, VLSTerm |
| 24 | { | 24 | { |
| 25 | /** | 25 | /** |
| 26 | * Returns the value of the '<em><b>Name</b></em>' attribute. | 26 | * Returns the value of the '<em><b>Name</b></em>' attribute. |