1 files changed, 3 insertions, 3 deletions

diff --git a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.reasoner/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/reasoner/builder/Logic2VampireLanguageMapper_ScopeMapper.java b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.reasoner/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/reasoner/builder/Logic2VampireLanguageMapper_ScopeMapper.java
index bc39a068..c09d929e 100644
--- a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.reasoner/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/reasoner/builder/Logic2VampireLanguageMapper_ScopeMapper.java
+++ b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.reasoner/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/reasoner/builder/Logic2VampireLanguageMapper_ScopeMapper.java
@@ -55,13 +55,13 @@ public class Logic2VampireLanguageMapper_ScopeMapper {
   public void _transformScope(final List<Type> types, final VampireSolverConfiguration config, final Logic2VampireLanguageMapperTrace trace) {

     int elemsInIM = trace.definedElement2String.size();

     final int ABSOLUTE_MIN = 0;

-    final int ABSOLUTE_MAX = ((-1) - elemsInIM);

+    final int ABSOLUTE_MAX = (Integer.MAX_VALUE - elemsInIM);

     final int GLOBAL_MIN = (config.typeScopes.minNewElements - elemsInIM);

     final int GLOBAL_MAX = (config.typeScopes.maxNewElements - elemsInIM);

     final ArrayList<VLSConstant> localInstances = CollectionLiterals.<VLSConstant>newArrayList();

     final boolean consistant = (GLOBAL_MAX > GLOBAL_MIN);

     if ((GLOBAL_MIN != ABSOLUTE_MIN)) {

-      this.getInstanceConstants(GLOBAL_MIN, 0, localInstances, trace, true, (!consistant));

+      this.getInstanceConstants(GLOBAL_MIN, 0, localInstances, trace, true, consistant);

       if (consistant) {

         for (final VLSConstant i : trace.uniqueInstances) {

           localInstances.add(this.support.duplicate(i));

@@ -72,7 +72,7 @@ public class Logic2VampireLanguageMapper_ScopeMapper {
       }

     }

     if ((GLOBAL_MAX != ABSOLUTE_MAX)) {

-      this.getInstanceConstants(GLOBAL_MAX, 0, localInstances, trace, true, consistant);

+      this.getInstanceConstants(GLOBAL_MAX, 0, localInstances, trace, true, (!consistant));

       if (consistant) {

         this.makeFofFormula(((ArrayList) trace.uniqueInstances), trace, false, null);

       } else {