changed dot visualization to svg to make it compatible with batik 1.14HEADmaster

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 3563163e..d8e78d30 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
@@ -249,7 +249,7 @@ class GenerationTaskExecutor {
                                                                         if(representation.newElements.size + representation.problem.elements.size < 150) {

                                                                                 val vis2 = new GraphvizVisualiser

                                                                                 val dot = vis2.visualiseConcretization(representation)

-                                                                                val dotFileName = '''«IF runs>1»«run»_«ENDIF»«interpretationIndex+1».png'''

+                                                                                val dotFileName = '''«IF runs>1»«run»_«ENDIF»«interpretationIndex+1».svg'''

                                                                                 dot.writeToFile(outputWorkspaceForRun,dotFileName)

                                                                                 dotRepresentations += outputWorkspaceForRun.getFile(dotFileName)

                                                                         }