2 files changed, 2 insertions, 2 deletions

diff --git a/Application/hu.bme.mit.inf.dslreasoner.application/plugin.xml b/Application/hu.bme.mit.inf.dslreasoner.application/plugin.xml
index 9b66071c..956abc6e 100644
--- a/Application/hu.bme.mit.inf.dslreasoner.application/plugin.xml
+++ b/Application/hu.bme.mit.inf.dslreasoner.application/plugin.xml
@@ -6,5 +6,5 @@
                         uri = "http://www.bme.hu/mit/inf/dslreasoner/application/ApplicationConfiguration"

                         class = "hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ApplicationConfigurationPackage"

                         genModel = "model/generated/ApplicationConfiguration.genmodel" />

-        </extension>
+        </extension>

 </plugin>

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 {
                                 }

                                 if (config.containsKey("dreal-timeout")) {

                                         val stringValue = config.get("dreal-timeout")

-                                                c.drealTimeout = Integer.parseInt(stringValue)

+                                                c.numericSolverTimeout = Integer.parseInt(stringValue)

                                 }

                                 if (config.containsKey("scopePropagator")) {

                                         val stringValue = config.get("scopePropagator")