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 a549df00..b76941de 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
@@ -73,7 +73,7 @@ class SolverLoader {
                                 if (!objectiveEntries.empty) {

                                         throw new IllegalArgumentException("Objectives are not supported by Alloy.")

                                 }

-                                val c = new SmtSolverConfiguration

+                                val c = new AlloySolverConfiguration

                                 config.getAsBoolean("fixRandomSeed", console).ifPresent[c.fixRandomSeed = it]

                                 config.getAsType("path", console, [it], String).ifPresent[c.solverPath = it]

                                 c