From 4f063cd2331ba714a7ac30e2b59d2358544f374c Mon Sep 17 00:00:00 2001
From: Sebastian Junges <sebastian.junges@rwth-aachen.de>
Date: Thu, 11 Jul 2019 20:36:57 +0200
Subject: [PATCH] tackling problems on unix

---
 src/storm/utility/DDEncodingExporter.cpp | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/src/storm/utility/DDEncodingExporter.cpp b/src/storm/utility/DDEncodingExporter.cpp
index ba2082f66..bb897ec6d 100644
--- a/src/storm/utility/DDEncodingExporter.cpp
+++ b/src/storm/utility/DDEncodingExporter.cpp
@@ -17,12 +17,12 @@ namespace storm {
             storm::utility::openFile(filename,filestream,true,true);
             filestream << "%initial" << std::endl;
             storm::utility::closeFile(filestream);
-            symbolicModel->getInitialStates().exportToText(filename);
+            symbolicModel->getInitialStates().template toAdd<ValueType>().exportToText(filename);
             for(auto const& label : symbolicModel->getLabels()) {
                 storm::utility::openFile(filename,filestream,true,true);
                 filestream << std::endl << "%label " << label << std::endl;
                 storm::utility::closeFile(filestream);
-                symbolicModel->getStates(label).exportToText(filename);
+                symbolicModel->getStates(label).template toAdd<ValueType>().exportToText(filename);
             }
         }