diff --git a/src/storm-dyftee.cpp b/src/storm-dyftee.cpp
index fa4047dd6..7b7cea029 100644
--- a/src/storm-dyftee.cpp
+++ b/src/storm-dyftee.cpp
@@ -25,8 +25,8 @@ void analyzeDFT(std::string filename, std::string property, bool symred = false)
     if(symred) {
         std::cout << dft.getElementsString() << std::endl;
         auto colouring = dft.colourDFT();
-        auto res = dft.findSymmetries(colouring);
-        std::cout << res;
+        storm::storage::DFTIndependentSymmetries symmetries = dft.findSymmetries(colouring);
+        std::cout << symmetries;
     }
         
     // Building Markov Automaton