diff --git a/src/storm-dft/parser/DFTGalileoParser.cpp b/src/storm-dft/parser/DFTGalileoParser.cpp index 7416d3dea..ef7faf350 100644 --- a/src/storm-dft/parser/DFTGalileoParser.cpp +++ b/src/storm-dft/parser/DFTGalileoParser.cpp @@ -287,6 +287,8 @@ namespace storm { result = parseValue("dorm", line, valueParser); if (result.first) { dormancyFactor = result.second; + } else { + STORM_LOG_WARN("No dormancy factor was provided for basic element '" << name << "' in line " << lineNo << ". Assuming dormancy factor of 1."); } boost::trim(line); if (line != "") {