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 - void exportSparseModelAsDrn(std::shared_ptr> const& model, std::string const& filename, std::vector const& parameterNames) { + void exportSparseModelAsDrn(std::shared_ptr> const& model, std::string const& filename, std::vector const& parameterNames = {}) { std::ofstream stream; storm::utility::openFile(filename, stream); storm::exporter::explicitExportSparseModel(stream, model, parameterNames);