From 59ef8d6f5f3d604e4051137a3821a8a45bc720bd Mon Sep 17 00:00:00 2001 From: OszkarSemerath Date: Sat, 12 May 2018 18:29:16 +0200 Subject: File extension is set to *.png --- .../inf/dslreasoner/application/execution/GenerationTaskExecutor.xtend | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'Application/hu.bme.mit.inf.dslreasoner.application') 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 95a5d03f..663c45a4 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 @@ -201,7 +201,7 @@ class GenerationTaskExecutor { if(representation.newElements.size + representation.problem.elements.size < 150) { val vis2 = new GraphvizVisualisation val dot = vis2.visualiseConcretization(representation) - dot.writeToFile(outputWorkspaceForRun,'''model«IF runs>1»_«run»«ENDIF»_«interpretationIndex+1»''') + dot.writeToFile(outputWorkspaceForRun,'''model«IF runs>1»_«run»«ENDIF»_«interpretationIndex+1».png''') } } monitor.worked(100) -- cgit v1.2.3-54-g00ecf