From 21af5c5d6aaab34c423f476810af3e7c2beef351 Mon Sep 17 00:00:00 2001
From: Stefan Pranger <stefan.pranger@student.tugraz.at>
Date: Wed, 16 Dec 2020 11:36:41 +0100
Subject: [PATCH] handle model description ostream case for SMGs

---
 src/storm/storage/SymbolicModelDescription.cpp | 3 +++
 1 file changed, 3 insertions(+)

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;
         }