Removed unnecessary semicolons

src/storm-gspn/storage/gspn/GSPN.cpp

@@ -94,7 +94,7 @@ namespace storm {
                 }
             }
             return nullptr;
-        };
+        }
         
         storm::gspn::Place* GSPN::getPlace(std::string const& name) {
             for (auto& place : places) {
@@ -103,7 +103,7 @@ namespace storm {
                 }
             }
             return nullptr;
-        };
+        }
 
         storm::gspn::TimedTransition<GSPN::RateType> const* GSPN::getTimedTransition(std::string const& name) const {
             for (auto& trans : timedTransitions) {

src/storm-pars/modelchecker/region/ValidatingSparseParameterLiftingModelChecker.cpp

@@ -25,7 +25,7 @@ namespace storm {
         template <typename SparseModelType, typename ImpreciseType, typename PreciseType>
         bool ValidatingSparseParameterLiftingModelChecker<SparseModelType, ImpreciseType, PreciseType>::canHandle(std::shared_ptr<storm::models::ModelBase> parametricModel, CheckTask<storm::logic::Formula, typename SparseModelType::ValueType> const& checkTask) const {
             return getImpreciseChecker().canHandle(parametricModel, checkTask) && getPreciseChecker().canHandle(parametricModel, checkTask);
-        };
+        }
  
         template <typename SparseModelType, typename ImpreciseType, typename PreciseType>
         RegionResult ValidatingSparseParameterLiftingModelChecker<SparseModelType, ImpreciseType, PreciseType>::analyzeRegion(Environment const& env, storm::storage::ParameterRegion<typename SparseModelType::ValueType> const& region, RegionResultHypothesis const& hypothesis, RegionResult const& initialResult, bool sampleVerticesOfRegion) {

src/storm-pomdp/transformer/MakePOMDPCanonic.cpp

@@ -47,7 +47,7 @@ namespace storm {
                     ++it2;
                 }
                 return it1 == end1 && it2 == end2;
-            };
+            }
 
 
             bool operator<(ActionIdentifier const& lhs, ActionIdentifier const& rhs) {

src/storm/generator/JaniNextStateGenerator.cpp

@@ -169,7 +169,7 @@ namespace storm {
         template<typename ValueType, typename StateType>
         bool JaniNextStateGenerator<ValueType, StateType>::isPartiallyObservable() const {
             return false;
-        };
+        }
         
         template<typename ValueType, typename StateType>
         uint64_t JaniNextStateGenerator<ValueType, StateType>::getLocation(CompressedState const& state, LocationVariableInformation const& locationVariable) const {
@@ -1201,7 +1201,7 @@ namespace storm {
         storm::storage::BitVector JaniNextStateGenerator<ValueType, StateType>::evaluateObservationLabels(CompressedState const& state) const {
             STORM_LOG_WARN("There are no observation labels in JANI currenty");
             return storm::storage::BitVector(0);
-        };
+        }
 
 
         template<typename ValueType, typename StateType>

src/storm/generator/PrismNextStateGenerator.cpp

@@ -734,7 +734,7 @@ namespace storm {
                 result.setFromInt(64*i,64,this->evaluator->asInt(program.getObservationLabels()[i].getStatePredicateExpression()));
             }
             return result;
-        };
+        }
 
 
         template<typename ValueType, typename StateType>

src/storm/models/sparse/Pomdp.cpp

@@ -62,7 +62,7 @@ namespace storm {
             template<typename ValueType, typename RewardModelType>
             bool Pomdp<ValueType, RewardModelType>::isCanonic() const {
                 return canonicFlag;
-            };
+            }