diff options
Diffstat (limited to 'Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.reasoner/src/ca/mcgill/ecse/dslreasoner')
2 files changed, 2 insertions, 2 deletions
diff --git a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.reasoner/src/ca/mcgill/ecse/dslreasoner/vampire/reasoner/builder/Logic2VampireLanguageMapper.xtend b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.reasoner/src/ca/mcgill/ecse/dslreasoner/vampire/reasoner/builder/Logic2VampireLanguageMapper.xtend index 5ec15541..9b316210 100644 --- a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.reasoner/src/ca/mcgill/ecse/dslreasoner/vampire/reasoner/builder/Logic2VampireLanguageMapper.xtend +++ b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.reasoner/src/ca/mcgill/ecse/dslreasoner/vampire/reasoner/builder/Logic2VampireLanguageMapper.xtend | |||
@@ -59,7 +59,7 @@ class Logic2VampireLanguageMapper { | |||
59 | // create model bases | 59 | // create model bases |
60 | // TODO | 60 | // TODO |
61 | val initialComment = createVLSComment => [ | 61 | val initialComment = createVLSComment => [ |
62 | it.comment = "%This is an initial Test Comment \r" | 62 | it.comment = "This is an initial Test Comment" |
63 | ] | 63 | ] |
64 | 64 | ||
65 | val specification = createVampireModel => [ | 65 | val specification = createVampireModel => [ |
diff --git a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.reasoner/src/ca/mcgill/ecse/dslreasoner/vampire/reasoner/builder/Logic2VampireLanguageMapper_TypeMapper_FilteredTypes.xtend b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.reasoner/src/ca/mcgill/ecse/dslreasoner/vampire/reasoner/builder/Logic2VampireLanguageMapper_TypeMapper_FilteredTypes.xtend index 7221f3ff..01c4f5af 100644 --- a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.reasoner/src/ca/mcgill/ecse/dslreasoner/vampire/reasoner/builder/Logic2VampireLanguageMapper_TypeMapper_FilteredTypes.xtend +++ b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.reasoner/src/ca/mcgill/ecse/dslreasoner/vampire/reasoner/builder/Logic2VampireLanguageMapper_TypeMapper_FilteredTypes.xtend | |||
@@ -104,7 +104,7 @@ class Logic2VampireLanguageMapper_TypeMapper_FilteredTypes implements Logic2Vamp | |||
104 | it.variables += createVLSVariable => [it.name = "A"] | 104 | it.variables += createVLSVariable => [it.name = "A"] |
105 | it.operand = createVLSEquivalent => [ | 105 | it.operand = createVLSEquivalent => [ |
106 | it.left = createVLSFunction => [ | 106 | it.left = createVLSFunction => [ |
107 | it.constant = "Object" | 107 | it.constant = "object" |
108 | it.terms += createVLSVariable => [ | 108 | it.terms += createVLSVariable => [ |
109 | it.name = "A" | 109 | it.name = "A" |
110 | ] | 110 | ] |