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 << ")"; }