diff options
Diffstat (limited to 'Framework/hu.bme.mit.inf.dslreasoner.viatra2logic/src')
-rw-r--r-- | Framework/hu.bme.mit.inf.dslreasoner.viatra2logic/src/hu/bme/mit/inf/dslreasoner/viatra2logic/NumericDrealProblemSolver.java | 2 |
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{ | |||
377 | //DEBUG - Print things | 377 | //DEBUG - Print things |
378 | if (outputProcess == null) { | 378 | if (outputProcess == null) { |
379 | System.err.println("TIMEOUT"); | 379 | System.err.println("TIMEOUT"); |
380 | printOutput(numProbContent); | 380 | // printOutput(numProbContent); |
381 | } | 381 | } |
382 | 382 | ||
383 | // printOutput(numProbContent); | 383 | // printOutput(numProbContent); |