1 files changed, 2 insertions, 2 deletions

diff --git a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.logic2viatra/src/hu/bme/mit/inf/dslreasoner/viatrasolver/logic2viatra/cardinality/PolyhedronScopePropagator.xtend b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.logic2viatra/src/hu/bme/mit/inf/dslreasoner/viatrasolver/logic2viatra/cardinality/PolyhedronScopePropagator.xtend
index ce357272..3fd50071 100644
--- a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.logic2viatra/src/hu/bme/mit/inf/dslreasoner/viatrasolver/logic2viatra/cardinality/PolyhedronScopePropagator.xtend
+++ b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.logic2viatra/src/hu/bme/mit/inf/dslreasoner/viatrasolver/logic2viatra/cardinality/PolyhedronScopePropagator.xtend
@@ -61,7 +61,7 @@ class PolyhedronScopePropagator extends ScopePropagator {
         override void propagateAllScopeConstraints() {
                 resetBounds()
                 populatePolyhedronFromScope()
-                println(polyhedron)
+//              println(polyhedron)
                 val result = operator.saturate()
                 if (result == PolyhedronSaturationResult.EMPTY) {
                         throw new IllegalStateException("Scope bounds cannot be satisfied")
@@ -71,7 +71,7 @@ class PolyhedronScopePropagator extends ScopePropagator {
                                 super.propagateAllScopeConstraints()
                         }
                 }
-                println(polyhedron)
+//              println(polyhedron)
         }
 
         def resetBounds() {