diff --git a/src/storm/utility/DDEncodingExporter.cpp b/src/storm/utility/DDEncodingExporter.cpp index bb897ec6d..7ad4c303c 100644 --- a/src/storm/utility/DDEncodingExporter.cpp +++ b/src/storm/utility/DDEncodingExporter.cpp @@ -32,4 +32,4 @@ namespace storm { template void explicitExportSymbolicModel(std::string const&, std::shared_ptr> sparseModel); template void explicitExportSymbolicModel(std::string const&, std::shared_ptr> sparseModel); } -} \ No newline at end of file +}