Fix scope + numerical propagation WIP

1 files changed, 1 insertions, 2 deletions

diff --git a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.logic2viatra/src/hu/bme/mit/inf/dslreasoner/viatrasolver/logic2viatra/rules/GoalConstraintProvider.xtend b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.logic2viatra/src/hu/bme/mit/inf/dslreasoner/viatrasolver/logic2viatra/rules/GoalConstraintProvider.xtend
index 238ade5b..d2ee80dc 100644
--- a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.logic2viatra/src/hu/bme/mit/inf/dslreasoner/viatrasolver/logic2viatra/rules/GoalConstraintProvider.xtend
+++ b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.logic2viatra/src/hu/bme/mit/inf/dslreasoner/viatrasolver/logic2viatra/rules/GoalConstraintProvider.xtend
@@ -15,9 +15,8 @@ class GoalConstraintProvider {
                                 val queries = entry.value

                                 val targetRelationName = constraint.relation.name

                                 val query = queries.unfinishedMultiplicityQuery

-                                val minValue = constraint.lowerBound

                                 val containment = constraint.containment

-                                res += new MultiplicityGoalConstraintCalculator(targetRelationName, query, minValue, containment, 1)

+                                res += new MultiplicityGoalConstraintCalculator(targetRelationName, query, containment, 1)

                         }

                 }

                 return res