circumvent problems with the bdd export

5 years ago · f5b6bc84ba
1 changed files with 1 additions and 1 deletions
--- 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);
    }
-}
+}