From d6d2d96a92d63b8a98a3b0a712fdfadc810c74fa Mon Sep 17 00:00:00 2001
From: Matthias Volk <matthias.volk@cs.rwth-aachen.de>
Date: Tue, 30 Oct 2018 13:52:47 +0100
Subject: [PATCH] Added JaniExportSettings to storm-dft

---
 src/storm-dft/api/storm-dft.cpp | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/src/storm-dft/api/storm-dft.cpp b/src/storm-dft/api/storm-dft.cpp
index 051aed13e..bae04d1e0 100644
--- a/src/storm-dft/api/storm-dft.cpp
+++ b/src/storm-dft/api/storm-dft.cpp
@@ -2,6 +2,7 @@
 
 #include "storm-dft/settings/modules/FaultTreeSettings.h"
 #include "storm-dft/settings/modules/DftGspnSettings.h"
+#include "storm-conv/settings/modules/JaniExportSettings.h"
 #include "storm-conv/api/storm-conv.h"
 
 namespace storm {
@@ -81,7 +82,8 @@ namespace storm {
             // Export Jani to file
             storm::settings::modules::DftGspnSettings const& dftGspnSettings = storm::settings::getModule<storm::settings::modules::DftGspnSettings>();
             if (dftGspnSettings.isWriteToJaniSet()) {
-                storm::api::exportJaniToFile(*model, properties, dftGspnSettings.getWriteToJaniFilename());
+                auto const& jani = storm::settings::getModule<storm::settings::modules::JaniExportSettings>();
+                storm::api::exportJaniToFile(*model, properties, dftGspnSettings.getWriteToJaniFilename(), jani.isCompactJsonSet());
             }
 
             return model;