From 75cfa17966e468e82400272af22d39de73ddd82a Mon Sep 17 00:00:00 2001
From: Matthias Volk <matthias.volk@cs.rwth-aachen.de>
Date: Thu, 9 May 2019 16:32:01 +0200
Subject: [PATCH] Fixed compile issue on Linux
---
src/storm-dft/storage/dft/DFTIsomorphism.h | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/src/storm-dft/storage/dft/DFTIsomorphism.h b/src/storm-dft/storage/dft/DFTIsomorphism.h
index 24a7e4252..34287b540 100644
--- a/src/storm-dft/storage/dft/DFTIsomorphism.h
+++ b/src/storm-dft/storage/dft/DFTIsomorphism.h
@@ -309,7 +309,7 @@ namespace storage {
case storm::storage::DFTElementType::BE_CONST:
{
auto beConst = std::static_pointer_cast<BEConst<ValueType> const>(be);
- depColour[dep->id()] = std::pair<ValueType, ValueType>(dep->probability(), beConst->failed());
+ depColour[dep->id()] = std::pair<ValueType, ValueType>(dep->probability(), beConst->failed() ? storm::utility::one<ValueType>() : storm::utility::zero<ValueType>());
break;
}
default: