diff --git a/src/storm/utility/ProgressMeasurement.cpp b/src/storm/utility/ProgressMeasurement.cpp index db471035f..ff9abdc53 100644 --- a/src/storm/utility/ProgressMeasurement.cpp +++ b/src/storm/utility/ProgressMeasurement.cpp @@ -9,7 +9,7 @@ namespace storm { namespace utility { - ProgressMeasurement::ProgressMeasurement(std::string const& itemName) : itemName(itemName) { + ProgressMeasurement::ProgressMeasurement(std::string const& itemName) : itemName(itemName), maxCount(0) { delay = storm::settings::getModule().getShowProgressDelay(); }