aboutsummaryrefslogtreecommitdiffstats
path: root/Application/hu.bme.mit.inf.dslreasoner.application/src/hu/bme/mit/inf/dslreasoner/application/execution/GenerationTaskExecutor.xtend
diff options
context:
space:
mode:
Diffstat (limited to 'Application/hu.bme.mit.inf.dslreasoner.application/src/hu/bme/mit/inf/dslreasoner/application/execution/GenerationTaskExecutor.xtend')
-rw-r--r--Application/hu.bme.mit.inf.dslreasoner.application/src/hu/bme/mit/inf/dslreasoner/application/execution/GenerationTaskExecutor.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/GenerationTaskExecutor.xtend b/Application/hu.bme.mit.inf.dslreasoner.application/src/hu/bme/mit/inf/dslreasoner/application/execution/GenerationTaskExecutor.xtend
index 2cbfc20d..95a5d03f 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
@@ -164,7 +164,7 @@ class GenerationTaskExecutor {
164 164
165 // 6.2 For each run, the configuration and the workspace is adjusted 165 // 6.2 For each run, the configuration and the workspace is adjusted
166 solverLoader.setRunIndex(solverConfig,configurationMap,run,console) 166 solverLoader.setRunIndex(solverConfig,configurationMap,run,console)
167 solverConfig.progressMonitor = new EclipseProgressMonitor(monitor) 167 solverConfig.progressMonitor = new EclipseBasedProgressMonitor(monitor)
168 val reasonerWorkspaceForRun = if(runs > 1) { 168 val reasonerWorkspaceForRun = if(runs > 1) {
169 reasonerWorkspace.subWorkspace('''run«run»''',"") => [initAndClear] 169 reasonerWorkspace.subWorkspace('''run«run»''',"") => [initAndClear]
170 } else { 170 } else {