diff options
Diffstat (limited to 'Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.reasoner/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/reasoner/builder/Logic2VampireLanguageMapper_TypeMapper_FilteredTypes.java')
-rw-r--r-- | Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.reasoner/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/reasoner/builder/Logic2VampireLanguageMapper_TypeMapper_FilteredTypes.java | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.reasoner/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/reasoner/builder/Logic2VampireLanguageMapper_TypeMapper_FilteredTypes.java b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.reasoner/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/reasoner/builder/Logic2VampireLanguageMapper_TypeMapper_FilteredTypes.java index 38ff37cd..0f5e4e7a 100644 --- a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.reasoner/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/reasoner/builder/Logic2VampireLanguageMapper_TypeMapper_FilteredTypes.java +++ b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.reasoner/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/reasoner/builder/Logic2VampireLanguageMapper_TypeMapper_FilteredTypes.java | |||
@@ -203,7 +203,7 @@ public class Logic2VampireLanguageMapper_TypeMapper_FilteredTypes implements Log | |||
203 | final Procedure1<VLSEquivalent> _function_5 = (VLSEquivalent it_2) -> { | 203 | final Procedure1<VLSEquivalent> _function_5 = (VLSEquivalent it_2) -> { |
204 | VLSFunction _createVLSFunction = this.factory.createVLSFunction(); | 204 | VLSFunction _createVLSFunction = this.factory.createVLSFunction(); |
205 | final Procedure1<VLSFunction> _function_6 = (VLSFunction it_3) -> { | 205 | final Procedure1<VLSFunction> _function_6 = (VLSFunction it_3) -> { |
206 | it_3.setConstant("Object"); | 206 | it_3.setConstant("object"); |
207 | EList<VLSTerm> _terms = it_3.getTerms(); | 207 | EList<VLSTerm> _terms = it_3.getTerms(); |
208 | VLSVariable _createVLSVariable_2 = this.factory.createVLSVariable(); | 208 | VLSVariable _createVLSVariable_2 = this.factory.createVLSVariable(); |
209 | final Procedure1<VLSVariable> _function_7 = (VLSVariable it_4) -> { | 209 | final Procedure1<VLSVariable> _function_7 = (VLSVariable it_4) -> { |