Added return statement

5 years ago · 32c5a6f9da
1 changed files with 1 additions and 0 deletions
--- 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