From 2cf73f9b10a3d1527b6124c4db9494bd9a4b28c8 Mon Sep 17 00:00:00 2001
From: Tim Quatmann <tim.quatmann@cs.rwth-aachen.de>
Date: Wed, 13 Jan 2021 09:35:09 +0100
Subject: [PATCH] ModelType: Fixed capitalization of SMG output

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

diff --git a/src/storm/models/ModelType.cpp b/src/storm/models/ModelType.cpp
index 1e89ec163..4da6d9e77 100644
--- a/src/storm/models/ModelType.cpp
+++ b/src/storm/models/ModelType.cpp
@@ -47,7 +47,7 @@ namespace storm {
                     os << "POMDP";
                     break;
                 case ModelType::Smg:
-                    os << "Smg";
+                    os << "SMG";
                     break;
                 default:
                     STORM_LOG_THROW(false, storm::exceptions::InvalidTypeException, "Unknown model type.");