From 0fed84c5a9aef3a16b573ab16cb034b40ce97bd0 Mon Sep 17 00:00:00 2001
From: dehnert <dehnert@cs.rwth-aachen.de>
Date: Thu, 12 Apr 2018 09:06:50 +0200
Subject: [PATCH] removed superfluous return

---
 src/storm/models/sparse/StateLabeling.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/storm/models/sparse/StateLabeling.cpp b/src/storm/models/sparse/StateLabeling.cpp
index e80556108..bcb00b7a9 100644
--- a/src/storm/models/sparse/StateLabeling.cpp
+++ b/src/storm/models/sparse/StateLabeling.cpp
@@ -50,7 +50,7 @@ namespace storm {
             }
             
             void StateLabeling::addLabelToState(std::string const& label, storm::storage::sparse::state_type state) {
-                return ItemLabeling::addLabelToItem(label, state);
+                ItemLabeling::addLabelToItem(label, state);
             }
             
             bool StateLabeling::getStateHasLabel(std::string const& label, storm::storage::sparse::state_type state) const {