From afa54bfd0d14cdcc53abe95aef27fe96a447d770 Mon Sep 17 00:00:00 2001
From: Aren Babikian <aren.babikian@mail.mcgill.ca>
Date: Sun, 24 Jan 2021 03:20:04 +0100
Subject: Simple working version. Still diversity issue

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

(limited to 'Framework/hu.bme.mit.inf.dslreasoner.viatra2logic/src/hu/bme/mit/inf/dslreasoner')

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);
-- 
cgit v1.2.3-70-g09d2