From be3ff1520fe1c1a110f63e90560cb0519f7407a3 Mon Sep 17 00:00:00 2001
From: Sebastian Junges <sebastian.junges@rwth-aachen.de>
Date: Fri, 24 Jan 2020 18:24:18 +0100
Subject: [PATCH] export in api can be called without explicitly giving
 parameter names

---
 src/storm/api/export.h | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/storm/api/export.h b/src/storm/api/export.h
index ca05b7a47..97859520c 100644
--- a/src/storm/api/export.h
+++ b/src/storm/api/export.h
@@ -19,7 +19,7 @@ namespace storm {
         void exportJaniModelAsDot(storm::jani::Model const& model, std::string const& filename);
 
         template <typename ValueType>
-        void exportSparseModelAsDrn(std::shared_ptr<storm::models::sparse::Model<ValueType>> const& model, std::string const& filename, std::vector<std::string> const& parameterNames) {
+        void exportSparseModelAsDrn(std::shared_ptr<storm::models::sparse::Model<ValueType>> const& model, std::string const& filename, std::vector<std::string> const& parameterNames = {}) {
             std::ofstream stream;
             storm::utility::openFile(filename, stream);
             storm::exporter::explicitExportSparseModel(stream, model, parameterNames);