Closes #34, adds code to test cases where minScope>maxScope.

1 files changed, 4 insertions, 4 deletions

diff --git a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.reasoner/src/ca/mcgill/ecse/dslreasoner/vampire/reasoner/builder/Logic2VampireLanguageMapper_TypeMapper.xtend b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.reasoner/src/ca/mcgill/ecse/dslreasoner/vampire/reasoner/builder/Logic2VampireLanguageMapper_TypeMapper.xtend
index 1719bbcc..3bc945df 100644
--- a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.reasoner/src/ca/mcgill/ecse/dslreasoner/vampire/reasoner/builder/Logic2VampireLanguageMapper_TypeMapper.xtend
+++ b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.reasoner/src/ca/mcgill/ecse/dslreasoner/vampire/reasoner/builder/Logic2VampireLanguageMapper_TypeMapper.xtend
@@ -150,10 +150,10 @@ class Logic2VampireLanguageMapper_TypeMapper {
 
                 }
 
-                // 4. case where an object is not an object
+                // 3.5: case where an object is not an object
                 val List<VLSTerm> type2Not = newArrayList
-                
-                for(t : types) {
+
+                for (t : types) {
                         type2Not.add(createVLSUnaryNegation => [
                                 it.operand = support.duplicate(t.lookup(trace.type2Predicate))
                         ])
@@ -174,7 +174,7 @@ class Logic2VampireLanguageMapper_TypeMapper {
                 ]
 
                 trace.specification.formulas += notObj
-
+                // End 3.5
                 // 4. create fof function that is an or with all the elements in map
                 val hierarch = createVLSFofFormula => [
                         it.name = "inheritanceHierarchyHandler"