From 75adda0234c582bb178a31cde758064e1d3ac72d Mon Sep 17 00:00:00 2001
From: Aren Babikian <aren.babikian@mail.mcgill.ca>
Date: Fri, 22 Jan 2021 06:17:04 +0100
Subject: Almost done implementing collision correctly

---
 .../mit/inf/dslreasoner/viatra2logic/NumericDrealProblemSolver.java   | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

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

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 b8ab8e95..e3bb2cbe 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
@@ -437,8 +437,8 @@ public class NumericDrealProblemSolver extends NumericProblemSolver{
 		
 		//DEBUG - Print things
 		System.out.println("Getting Solution!");
-		printOutput(numProbContent);
-		printOutput(outputs.get(0));
+//		printOutput(numProbContent);
+//		printOutput(outputs.get(0));
 //		System.out.println(result);
 		//END DEBUG
 				
-- 
cgit v1.2.3-54-g00ecf