From 14875e9067febc36da8bf29dd7df9363c847c14b Mon Sep 17 00:00:00 2001
From: TimQu <tim.quatmann@cs.rwth-aachen.de>
Date: Thu, 20 Sep 2018 15:12:48 +0200
Subject: [PATCH] removed debug output

---
 src/storm/storage/jani/JSONExporter.cpp | 3 ---
 1 file changed, 3 deletions(-)

diff --git a/src/storm/storage/jani/JSONExporter.cpp b/src/storm/storage/jani/JSONExporter.cpp
index 472bc14d5..9128874e6 100644
--- a/src/storm/storage/jani/JSONExporter.cpp
+++ b/src/storm/storage/jani/JSONExporter.cpp
@@ -1036,9 +1036,6 @@ namespace storm {
             jsonStruct["type"] = to_string(janiModel.getModelType());
             jsonStruct["actions"] = buildActionArray(janiModel.getActions());
             jsonStruct["constants"] = buildConstantsArray(janiModel.getConstants());
-            for (auto const& v : janiModel.getGlobalVariables()) {
-                std::cout << "global var " << v.getName() << std::endl;
-            }
             jsonStruct["variables"] = buildVariablesArray(janiModel.getGlobalVariables(), janiModel.getConstants(), janiModel.getGlobalVariables());
             if (!janiModel.getGlobalFunctionDefinitions().empty()) {
                 jsonStruct["functions"] = buildFunctionsArray(janiModel.getGlobalFunctionDefinitions(), janiModel.getConstants(), janiModel.getGlobalVariables());