fixed missing initialized value in progressMeasurement

7 years ago · f65bb48195
1 changed files with 1 additions and 1 deletions
--- 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<storm::settings::modules::GeneralSettings>().getShowProgressDelay();
        }