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/GenerationTaskExecutor.xtend b/Application/hu.bme.mit.inf.dslreasoner.application/src/hu/bme/mit/inf/dslreasoner/application/execution/GenerationTaskExecutor.xtend
index 8d840943..aa98e268 100644
--- a/Application/hu.bme.mit.inf.dslreasoner.application/src/hu/bme/mit/inf/dslreasoner/application/execution/GenerationTaskExecutor.xtend
+++ b/Application/hu.bme.mit.inf.dslreasoner.application/src/hu/bme/mit/inf/dslreasoner/application/execution/GenerationTaskExecutor.xtend
@@ -200,7 +200,7 @@ class GenerationTaskExecutor {
                                         }

                                         

                                         // 7. Solver call

-                                        val ewsdzxA = solver.solve(problem,solverConfig,reasonerWorkspaceForRun)

+                                        val solution = solver.solve(problem,solverConfig,reasonerWorkspaceForRun)

                                         console.writeMessage(solution.soutionDescription.toString)

                                         

                                         //  8. Solution processing