Alloy implementation of multiple model generation

1 files changed, 1 insertions, 1 deletions

diff --git a/Solvers/Alloy-Solver/hu.bme.mit.inf.dlsreasoner.alloy.reasoner/src/hu/bme/mit/inf/dlsreasoner/alloy/reasoner/builder/Logic2AlloyLanguageMapper.xtend b/Solvers/Alloy-Solver/hu.bme.mit.inf.dlsreasoner.alloy.reasoner/src/hu/bme/mit/inf/dlsreasoner/alloy/reasoner/builder/Logic2AlloyLanguageMapper.xtend
index 23b9027f..65fdcfdf 100644
--- a/Solvers/Alloy-Solver/hu.bme.mit.inf.dlsreasoner.alloy.reasoner/src/hu/bme/mit/inf/dlsreasoner/alloy/reasoner/builder/Logic2AlloyLanguageMapper.xtend
+++ b/Solvers/Alloy-Solver/hu.bme.mit.inf.dlsreasoner.alloy.reasoner/src/hu/bme/mit/inf/dlsreasoner/alloy/reasoner/builder/Logic2AlloyLanguageMapper.xtend
@@ -277,7 +277,7 @@ class Logic2AlloyLanguageMapper {
                         it.typeScopes+= createALSSigScope => [

                                 it.type= typeMapper.getUndefinedSupertype(trace)

                                 it.number = typeMapper.getUndefinedSupertypeScope(config.typeScopes.maxNewElements,trace) 

-                                //it.exactly = (config.typeScopes.maxElements == config.typeScopes.minElements)

+                                it.exactly = (config.typeScopes.maxNewElements == config.typeScopes.minNewElements)

                         ]

                         if(config.typeScopes.maxIntScope == LogicSolverConfiguration::Unlimited) throw new UnsupportedOperationException(

                                 '''An integer scope have to be specified for Alloy!''')