diff --git a/src/storm/storage/SymbolicModelDescription.cpp b/src/storm/storage/SymbolicModelDescription.cpp index abf9aa340..584817ce8 100644 --- a/src/storm/storage/SymbolicModelDescription.cpp +++ b/src/storm/storage/SymbolicModelDescription.cpp @@ -229,6 +229,9 @@ namespace storm { case SymbolicModelDescription::ModelType::POMDP: out << "pomdp"; break; + case SymbolicModelDescription::ModelType::SMG: + out << "smg"; + break; } return out; }