From 27521fc0272ef031a60ec0f7fa2e4114d414fc5a Mon Sep 17 00:00:00 2001
From: sjunges <sebastian.junges@rwth-aachen.de>
Date: Thu, 11 Feb 2016 00:19:29 +0100
Subject: [PATCH] fixed some warnings

Former-commit-id: ed6fbfc6bae8ac7aeb51faba30e539425109857f
---
 src/storage/dft/DFTElements.h | 16 ++++++++--------
 1 file changed, 8 insertions(+), 8 deletions(-)

diff --git a/src/storage/dft/DFTElements.h b/src/storage/dft/DFTElements.h
index a6ee87ea5..a1f4a5819 100644
--- a/src/storage/dft/DFTElements.h
+++ b/src/storage/dft/DFTElements.h
@@ -359,7 +359,7 @@ namespace storm {
                 return DFTElementType::BE;
             }
 
-            virtual size_t nrChildren() const {
+            virtual size_t nrChildren() const override {
                 return 0;
             }
 
@@ -371,17 +371,17 @@ namespace storm {
                 return mPassiveFailureRate;
             }
         
-            std::string toString() const {
+            std::string toString() const override {
                 std::stringstream stream;
                 stream << *this;
                 return stream.str();
             }
             
-            bool isBasicElement() const {
+            bool isBasicElement() const override{
                 return true;
             }
             
-            bool isColdBasicElement() const {
+            bool isColdBasicElement() const override{
                 return storm::utility::isZero(mPassiveFailureRate);
             }
             virtual bool checkDontCareAnymore(storm::storage::DFTState<ValueType>& state, DFTStateSpaceGenerationQueues<ValueType>& queues) const;
@@ -421,7 +421,7 @@ namespace storm {
                 return true;
             }
             
-            virtual size_t nrChildren() const {
+            virtual size_t nrChildren() const override {
                 return 0;
             }
             
@@ -547,7 +547,7 @@ namespace storm {
                 return DFTElementType::AND;
             }
             
-            std::string typestring() const {
+            std::string typestring() const override {
                 return "AND";
             }
         };
@@ -587,7 +587,7 @@ namespace storm {
                 return DFTElementType::OR;
             }
             
-            std::string typestring() const {
+            std::string typestring() const override {
                 return "OR";
             }
         };
@@ -788,7 +788,7 @@ namespace storm {
                 return DFTElementType::VOT;
             }
             
-            std::string typestring() const {
+            std::string typestring() const override{
                 return "VOT (" + std::to_string(mThreshold) + ")";
             }