From 7d44e20d1a2085a9fa686580a96f4f37214b3875 Mon Sep 17 00:00:00 2001 From: ArenBabikian Date: Sun, 24 Nov 2019 07:51:31 -0500 Subject: VAMPIRE: Further Post-submission updates --- .../inf/dslreasoner/application/execution/GenerationTaskExecutor.xtend | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'Application/hu.bme.mit.inf.dslreasoner.application/src/hu/bme/mit/inf/dslreasoner/application/execution/GenerationTaskExecutor.xtend') 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 -- cgit v1.2.3-54-g00ecf