diff --git a/src/storm-dft/storage/dft/OrderDFTElementsById.cpp b/src/storm-dft/storage/dft/OrderDFTElementsById.cpp index 72e571ab1..c3b9185dc 100644 --- a/src/storm-dft/storage/dft/OrderDFTElementsById.cpp +++ b/src/storm-dft/storage/dft/OrderDFTElementsById.cpp @@ -17,7 +17,7 @@ namespace storm { template bool OrderElementsByRank::operator ()(const std::shared_ptr>& a, const std::shared_ptr>& b) const { - return a->rank() < b->rank(); + return a->rank() > b->rank(); }