diff --git a/src/models/AbstractModel.h b/src/models/AbstractModel.h index 52d481a90..df57d8d51 100644 --- a/src/models/AbstractModel.h +++ b/src/models/AbstractModel.h @@ -406,7 +406,7 @@ protected: * @return A string containing the exported model in dot-format. */ virtual void writeDotToStream(std::ostream& outStream, bool includeLabeling = true, storm::storage::BitVector const* subsystem = nullptr, std::vector const* firstValue = nullptr, std::vector const* secondValue = nullptr, std::vector const* stateColoring = nullptr, std::vector const* colors = nullptr, std::vector* scheduler = nullptr, bool finalizeOutput = true) const { - outStream << "digraph deterministicModel {" << std::endl; + outStream << "digraph model {" << std::endl; // Write all states to the stream. for (uint_fast64_t state = 0, highestStateIndex = this->getNumberOfStates() - 1; state <= highestStateIndex; ++state) {