From 44ebbfad9f050eb54f25a1f6cae2e42f8b2bd65b Mon Sep 17 00:00:00 2001
From: sjunges <sebastian.junges@gmail.com>
Date: Fri, 11 Nov 2016 20:14:56 +0100
Subject: [PATCH] Removed unnecessary semicolons causing warnings

Former-commit-id: d172ad9cfb33485d88027582c69613968c591436 [formerly 6ce5f5476c0a7c06fc54250fc5552621f04e6d33]
Former-commit-id: b40539dfca96616fb6568cbde2167bbfdf76bdee
---
 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 f3c4d29d4..0d97b87d0 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() {