From 32c5a6f9da1561a9ee4d75d5d5838456fb360aec Mon Sep 17 00:00:00 2001
From: Matthias Volk <matthias.volk@cs.rwth-aachen.de>
Date: Tue, 5 Nov 2019 12:49:23 +0100
Subject: [PATCH] Added return statement

---
 src/storm/storage/prism/ModuleRenaming.cpp | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/storm/storage/prism/ModuleRenaming.cpp b/src/storm/storage/prism/ModuleRenaming.cpp
index 0d31ff4bb..9ea9f1736 100644
--- a/src/storm/storage/prism/ModuleRenaming.cpp
+++ b/src/storm/storage/prism/ModuleRenaming.cpp
@@ -26,6 +26,7 @@ namespace storm {
                 }
             }
             stream << "]";
+            return stream;
         }
         
     } // namespace prism