From 20242e10e50e599da04e689e477628f1f10ce291 Mon Sep 17 00:00:00 2001
From: Mavo <matthias.volk@rwth-aachen.de>
Date: Fri, 19 Feb 2016 13:08:37 +0100
Subject: [PATCH] Small fix
Former-commit-id: d702592ab208db0e618a599af680b27e1e71f556
---
src/storm-dyftee.cpp | 4 ++--
1 file changed, 2 insertions(+), 2 deletions(-)
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