diff --git a/src/storm-dft/transformations/DftTransformator.cpp b/src/storm-dft/transformations/DftTransformator.cpp index ea62a686c..3cd52c11a 100644 --- a/src/storm-dft/transformations/DftTransformator.cpp +++ b/src/storm-dft/transformations/DftTransformator.cpp @@ -150,7 +150,7 @@ namespace storm { } case storm::storage::DFTElementType::POR: { auto por = std::static_pointer_cast const>(element); - builder.addPandElement(por->name(), getChildrenVector(por), por->isInclusive()); + builder.addPorElement(por->name(), getChildrenVector(por), por->isInclusive()); break; } case storm::storage::DFTElementType::SPARE: