From e0fd50cb9dc162ffece040092ce7a963c6f6898e Mon Sep 17 00:00:00 2001
From: sjunges <sebastian.junges@rwth-aachen.de>
Date: Thu, 3 Nov 2016 11:42:32 +0100
Subject: [PATCH] Fixed export of sync input for no-action

Former-commit-id: 7124276a8642c1f95c596afd69057ac0d668ba91 [formerly 1e63ff5245ec13fba0a78f4755eda9d053c3434f]
Former-commit-id: 05f1f33c492935c4852d3882f5852887aaa2a8e7
---
 src/storage/jani/JSONExporter.cpp | 9 ++++++++-
 1 file changed, 8 insertions(+), 1 deletion(-)

diff --git a/src/storage/jani/JSONExporter.cpp b/src/storage/jani/JSONExporter.cpp
index 7025b21b2..13512f554 100644
--- a/src/storage/jani/JSONExporter.cpp
+++ b/src/storage/jani/JSONExporter.cpp
@@ -71,7 +71,14 @@ namespace storm {
                 std::vector<modernjson::json> synElems;
                 for (auto const& syncs : composition.getSynchronizationVectors()) {
                     modernjson::json syncDecl;
-                    syncDecl["synchronise"] = syncs.getInput();
+                    syncDecl["synchronise"] = std::vector<std::string>();
+                    for (auto const& syncIn : syncs.getInput()) {
+                        if (syncIn == SynchronizationVector::NO_ACTION_INPUT) {
+                            syncDecl["synchronise"].push_back(nullptr);
+                        } else {
+                            syncDecl["synchronise"].push_back(syncIn);
+                        }
+                    }
                     syncDecl["result"] = syncs.getOutput();
                     synElems.push_back(syncDecl);
                 }