diff options
Diffstat (limited to 'Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/vampireLanguage/impl/VampireLanguageFactoryImpl.java')
-rw-r--r-- | Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/vampireLanguage/impl/VampireLanguageFactoryImpl.java | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/vampireLanguage/impl/VampireLanguageFactoryImpl.java b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/vampireLanguage/impl/VampireLanguageFactoryImpl.java index c3c74fe9..a6b1ac36 100644 --- a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/vampireLanguage/impl/VampireLanguageFactoryImpl.java +++ b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/vampireLanguage/impl/VampireLanguageFactoryImpl.java | |||
@@ -1,5 +1,5 @@ | |||
1 | /** | 1 | /** |
2 | * generated by Xtext 2.12.0 | 2 | * generated by Xtext 2.14.0 |
3 | */ | 3 | */ |
4 | package ca.mcgill.ecse.dslreasoner.vampireLanguage.impl; | 4 | package ca.mcgill.ecse.dslreasoner.vampireLanguage.impl; |
5 | 5 | ||
@@ -76,7 +76,7 @@ public class VampireLanguageFactoryImpl extends EFactoryImpl implements VampireL | |||
76 | case VampireLanguagePackage.VLS_ANNOTATION: return createVLSAnnotation(); | 76 | case VampireLanguagePackage.VLS_ANNOTATION: return createVLSAnnotation(); |
77 | case VampireLanguagePackage.VLS_TERM: return createVLSTerm(); | 77 | case VampireLanguagePackage.VLS_TERM: return createVLSTerm(); |
78 | case VampireLanguagePackage.VLS_VARIABLE: return createVLSVariable(); | 78 | case VampireLanguagePackage.VLS_VARIABLE: return createVLSVariable(); |
79 | case VampireLanguagePackage.VLS_FUNCTION_FOF: return createVLSFunctionFof(); | 79 | case VampireLanguagePackage.VLS_FUNCTION_AS_TERM: return createVLSFunctionAsTerm(); |
80 | case VampireLanguagePackage.VLS_DEFINED_TERM: return createVLSDefinedTerm(); | 80 | case VampireLanguagePackage.VLS_DEFINED_TERM: return createVLSDefinedTerm(); |
81 | case VampireLanguagePackage.VLS_EQUIVALENT: return createVLSEquivalent(); | 81 | case VampireLanguagePackage.VLS_EQUIVALENT: return createVLSEquivalent(); |
82 | case VampireLanguagePackage.VLS_IMPLIES: return createVLSImplies(); | 82 | case VampireLanguagePackage.VLS_IMPLIES: return createVLSImplies(); |
@@ -232,10 +232,10 @@ public class VampireLanguageFactoryImpl extends EFactoryImpl implements VampireL | |||
232 | * <!-- end-user-doc --> | 232 | * <!-- end-user-doc --> |
233 | * @generated | 233 | * @generated |
234 | */ | 234 | */ |
235 | public VLSFunctionFof createVLSFunctionFof() | 235 | public VLSFunctionAsTerm createVLSFunctionAsTerm() |
236 | { | 236 | { |
237 | VLSFunctionFofImpl vlsFunctionFof = new VLSFunctionFofImpl(); | 237 | VLSFunctionAsTermImpl vlsFunctionAsTerm = new VLSFunctionAsTermImpl(); |
238 | return vlsFunctionFof; | 238 | return vlsFunctionAsTerm; |
239 | } | 239 | } |
240 | 240 | ||
241 | /** | 241 | /** |