1 files changed, 1 insertions, 1 deletions

diff --git a/Framework/hu.bme.mit.inf.dslreasoner.viatra2logic/src/hu/bme/mit/inf/dslreasoner/viatra2logic/NumericDrealProblemSolver.java b/Framework/hu.bme.mit.inf.dslreasoner.viatra2logic/src/hu/bme/mit/inf/dslreasoner/viatra2logic/NumericDrealProblemSolver.java
index e3bb2cbe..0105d985 100644
--- a/Framework/hu.bme.mit.inf.dslreasoner.viatra2logic/src/hu/bme/mit/inf/dslreasoner/viatra2logic/NumericDrealProblemSolver.java
+++ b/Framework/hu.bme.mit.inf.dslreasoner.viatra2logic/src/hu/bme/mit/inf/dslreasoner/viatra2logic/NumericDrealProblemSolver.java
@@ -377,7 +377,7 @@ public class NumericDrealProblemSolver extends NumericProblemSolver{
                 //DEBUG - Print things

                 if (outputProcess == null) {

                         System.err.println("TIMEOUT");

-                        printOutput(numProbContent);

+//                      printOutput(numProbContent);

                 }

                 

 //              printOutput(numProbContent);