1 files changed, 1 insertions, 1 deletions

diff --git a/Tests/hu.bme.mit.inf.dslreasoner.run/src/hu/bme/mit/inf/dslreasoner/run/RunMeasurements.xtend b/Tests/hu.bme.mit.inf.dslreasoner.run/src/hu/bme/mit/inf/dslreasoner/run/RunMeasurements.xtend
index 8de44b5b..e96a6bf6 100644
--- a/Tests/hu.bme.mit.inf.dslreasoner.run/src/hu/bme/mit/inf/dslreasoner/run/RunMeasurements.xtend
+++ b/Tests/hu.bme.mit.inf.dslreasoner.run/src/hu/bme/mit/inf/dslreasoner/run/RunMeasurements.xtend
@@ -136,7 +136,7 @@ class RunMeasurements {
                                 it.typeScopes.maxNewElements = size

                                 it.typeScopes.minNewElements = size

                                 it.solutionScope.numberOfRequiredSolution = number

-                                it.typeScopes.maxIntScope = 0

+                                it.typeScopes.maxNewIntegers = 0

                                 it.writeToFile = true

                         ]

                         val solution = this.alloyReasoner.solve(