From f5b6bc84ba1d4921c9b00f8571c1f9476d852a75 Mon Sep 17 00:00:00 2001
From: Sebastian Junges <sebastian.junges@rwth-aachen.de>
Date: Fri, 12 Jul 2019 10:38:05 +0200
Subject: [PATCH] circumvent problems with the bdd export

---
 src/storm/utility/DDEncodingExporter.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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<storm::dd::DdType::Sylvan, storm::RationalNumber>(std::string const&, std::shared_ptr<storm::models::symbolic::Model<storm::dd::DdType::Sylvan, storm::RationalNumber>> sparseModel);
         template void explicitExportSymbolicModel<storm::dd::DdType::Sylvan, storm::RationalFunction>(std::string const&, std::shared_ptr<storm::models::symbolic::Model<storm::dd::DdType::Sylvan, storm::RationalFunction>> sparseModel);
     }
-}
\ No newline at end of file
+}