aboutsummaryrefslogtreecommitdiffstats
path: root/Application/hu.bme.mit.inf.dslreasoner.application/src/hu/bme/mit/inf/dslreasoner/application/execution/SolverLoader.xtend
diff options
context:
space:
mode:
Diffstat (limited to 'Application/hu.bme.mit.inf.dslreasoner.application/src/hu/bme/mit/inf/dslreasoner/application/execution/SolverLoader.xtend')
-rw-r--r--Application/hu.bme.mit.inf.dslreasoner.application/src/hu/bme/mit/inf/dslreasoner/application/execution/SolverLoader.xtend2
1 files changed, 1 insertions, 1 deletions
diff --git a/Application/hu.bme.mit.inf.dslreasoner.application/src/hu/bme/mit/inf/dslreasoner/application/execution/SolverLoader.xtend b/Application/hu.bme.mit.inf.dslreasoner.application/src/hu/bme/mit/inf/dslreasoner/application/execution/SolverLoader.xtend
index ac4f29a9..f8147598 100644
--- a/Application/hu.bme.mit.inf.dslreasoner.application/src/hu/bme/mit/inf/dslreasoner/application/execution/SolverLoader.xtend
+++ b/Application/hu.bme.mit.inf.dslreasoner.application/src/hu/bme/mit/inf/dslreasoner/application/execution/SolverLoader.xtend
@@ -158,7 +158,7 @@ class SolverLoader {
158 } 158 }
159 if (config.containsKey("dreal-timeout")) { 159 if (config.containsKey("dreal-timeout")) {
160 val stringValue = config.get("dreal-timeout") 160 val stringValue = config.get("dreal-timeout")
161 c.drealTimeout = Integer.parseInt(stringValue) 161 c.numericSolverTimeout = Integer.parseInt(stringValue)
162 } 162 }
163 if (config.containsKey("scopePropagator")) { 163 if (config.containsKey("scopePropagator")) {
164 val stringValue = config.get("scopePropagator") 164 val stringValue = config.get("scopePropagator")