From a95331948cbf4cda1cd5a3030f4603940157406c Mon Sep 17 00:00:00 2001
From: TimQu <tim.quatmann@cs.rwth-aachen.de>
Date: Thu, 20 Sep 2018 14:14:29 +0200
Subject: [PATCH] fixed operator<< of function call expr

---
 src/storm/storage/jani/expressions/FunctionCallExpression.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/storm/storage/jani/expressions/FunctionCallExpression.cpp b/src/storm/storage/jani/expressions/FunctionCallExpression.cpp
index 783811461..05004907c 100644
--- a/src/storm/storage/jani/expressions/FunctionCallExpression.cpp
+++ b/src/storm/storage/jani/expressions/FunctionCallExpression.cpp
@@ -49,11 +49,11 @@ namespace storm {
                 stream << "(";
                 bool first = true;
                 for (auto const& a : arguments) {
-                    stream << *a;
                     if (!first) {
                         stream << ", ";
                     }
                     first = false;
+                    stream << *a;
                 }
                 stream << ")";
             }