1 files changed, 1 insertions, 1 deletions

diff --git a/Framework/hu.bme.mit.inf.dslreasoner.viatra2logic/src/hu/bme/mit/inf/dslreasoner/viatra2logic/NumericProblemSolver.java b/Framework/hu.bme.mit.inf.dslreasoner.viatra2logic/src/hu/bme/mit/inf/dslreasoner/viatra2logic/NumericProblemSolver.java
index a5b9fc66..5bef061a 100644
--- a/Framework/hu.bme.mit.inf.dslreasoner.viatra2logic/src/hu/bme/mit/inf/dslreasoner/viatra2logic/NumericProblemSolver.java
+++ b/Framework/hu.bme.mit.inf.dslreasoner.viatra2logic/src/hu/bme/mit/inf/dslreasoner/viatra2logic/NumericProblemSolver.java
@@ -128,7 +128,7 @@ public class NumericProblemSolver {
                 if (s.check() == Status.SATISFIABLE) {

                         Model m = s.getModel();

                         endSolvingProblem = System.nanoTime()-startSolvingProblem;

-                        System.out.println("Solving problem: " + (endSolvingProblem - startSolvingProblem));

+                        //System.out.println("Solving problem: " + (endSolvingProblem - startSolvingProblem));

                         long startFormingSolution = System.nanoTime();

                         for (PrimitiveElement o: objs) {

                                 if(varMap.containsKey(o)) {