Fixed compile issue on Linux

6 years ago · 75cfa17966
1 changed files with 1 additions and 1 deletions
--- 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: