From cdf6729249f723865ca7a6636d49bee50a1f5f80 Mon Sep 17 00:00:00 2001
From: Oszkar Semerath <semerath@mit.bme.hu>
Date: Tue, 12 May 2020 03:19:49 +0200
Subject: removed unnecesary printing

---
 .../hu/bme/mit/inf/dslreasoner/viatra2logic/NumericProblemSolver.java   | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'Framework')

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)) {
-- 
cgit v1.2.3-54-g00ecf