From 252879f0bff86ae8e459f5a3bb2fc1ecc1769509 Mon Sep 17 00:00:00 2001
From: PBerger <philipp.berger@rwth-aachen.de>
Date: Thu, 14 Jul 2016 21:44:28 +0200
Subject: [PATCH] Removed unnecessary semicolons.

Former-commit-id: 4d9f9c265aeded0ee992e17b09c068328e3b5b4d
---
 src/models/sparse/NondeterministicModel.cpp | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/src/models/sparse/NondeterministicModel.cpp b/src/models/sparse/NondeterministicModel.cpp
index 3a4af6664..5dfaea955 100644
--- a/src/models/sparse/NondeterministicModel.cpp
+++ b/src/models/sparse/NondeterministicModel.cpp
@@ -72,7 +72,7 @@ namespace storm {
                     std::cout << i++ << "/" << modifications.size() << std::endl;
                     rewardModel.setStateActionReward(mod.first, mod.second);
                 }
-            };
+            }
 
             template<typename ValueType, typename RewardModelType>
             template<typename T>
@@ -81,7 +81,7 @@ namespace storm {
                 for(auto const& mod : modifications) {
                     rewardModel.setStateReward(mod.first, mod.second);
                 }
-            };
+            }
             
             template<typename ValueType, typename RewardModelType>
             void NondeterministicModel<ValueType, RewardModelType>::reduceToStateBasedRewards() {