1 files changed, 1 insertions, 1 deletions

diff --git a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.reasoner/src/ca/mcgill/ecse/dslreasoner/vampire/reasoner/builder/Logic2VampireLanguageMapper_ContainmentMapper.xtend b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.reasoner/src/ca/mcgill/ecse/dslreasoner/vampire/reasoner/builder/Logic2VampireLanguageMapper_ContainmentMapper.xtend
index 93c28e7c..c79003bd 100644
--- a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.reasoner/src/ca/mcgill/ecse/dslreasoner/vampire/reasoner/builder/Logic2VampireLanguageMapper_ContainmentMapper.xtend
+++ b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.reasoner/src/ca/mcgill/ecse/dslreasoner/vampire/reasoner/builder/Logic2VampireLanguageMapper_ContainmentMapper.xtend
@@ -189,7 +189,7 @@ class Logic2VampireLanguageMapper_ContainmentMapper {
 

 // STEP 2 CONT'D

                 for (e : type2cont.entrySet) {

-                        println(e.key + "   " + e.value)

+//                      println(e.key + "   " + e.value)

                         val relFormula = createVLSFofFormula => [

                                 it.name = support.toIDMultiple("containment_contained", e.key.constant.toString)

                                 it.fofRole = "axiom"