From 065b366198c01306cbd7e573ba8207352b838457 Mon Sep 17 00:00:00 2001
From: Tim Quatmann <tim.quatmann@cs.rwth-aachen.de>
Date: Mon, 23 Nov 2020 10:37:51 +0100
Subject: [PATCH] Removed superfluous '.' in output of Markov automata model
 data.

---
 src/storm/models/sparse/MarkovAutomaton.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/storm/models/sparse/MarkovAutomaton.cpp b/src/storm/models/sparse/MarkovAutomaton.cpp
index be1656c86..1d640edf7 100644
--- a/src/storm/models/sparse/MarkovAutomaton.cpp
+++ b/src/storm/models/sparse/MarkovAutomaton.cpp
@@ -288,7 +288,7 @@ namespace storm {
                 this->printModelInformationHeaderToStream(out);
                 out << "Choices: \t" << this->getNumberOfChoices() << std::endl;
                 out << "Markovian St.: \t" << this->getMarkovianStates().getNumberOfSetBits() << std::endl;
-                out << "Max. Rate.: \t";
+                out << "Max. Rate: \t";
                 if (this->getMarkovianStates().empty()) {
                     out << "None";
                 } else {