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.");