From f3001344053444ba93c8e26a306ca24bc04aaefa Mon Sep 17 00:00:00 2001 From: OszkarSemerath Date: Thu, 10 May 2018 18:52:50 +0200 Subject: Renamed --- .../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 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 { // 6.2 For each run, the configuration and the workspace is adjusted solverLoader.setRunIndex(solverConfig,configurationMap,run,console) - solverConfig.progressMonitor = new EclipseProgressMonitor(monitor) + solverConfig.progressMonitor = new EclipseBasedProgressMonitor(monitor) val reasonerWorkspaceForRun = if(runs > 1) { reasonerWorkspace.subWorkspace('''run«run»''',"") => [initAndClear] } else { -- cgit v1.2.3-54-g00ecf