From a0df98a6ebcc509f7b46f4a9c0bc5f43b4119a88 Mon Sep 17 00:00:00 2001
From: dehnert <dehnert@cs.rwth-aachen.de>
Date: Tue, 6 May 2014 14:35:40 +0200
Subject: [PATCH] Removed unnecessary virtual keyword in Expression class.

Former-commit-id: f879cd579ea0c3c8bda51626380411374e7b8db7
---
 src/storage/expressions/Expression.h | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

diff --git a/src/storage/expressions/Expression.h b/src/storage/expressions/Expression.h
index bfa2dc4d8..44f3e5728 100644
--- a/src/storage/expressions/Expression.h
+++ b/src/storage/expressions/Expression.h
@@ -178,28 +178,28 @@ namespace storm {
              *
              * @return The identifier associated with this expression.
              */
-            virtual std::string const& getIdentifier() const;
+            std::string const& getIdentifier() const;
             
             /*!
              * Retrieves whether the expression contains a variable.
              *
              * @return True iff the expression contains a variable.
              */
-            virtual bool containsVariables() const;
+            bool containsVariables() const;
             
             /*!
              * Retrieves whether the expression is a literal.
              *
              * @return True iff the expression is a literal.
              */
-            virtual bool isLiteral() const;
+            bool isLiteral() const;
             
             /*!
              * Retrieves whether the expression is a variable.
              *
              * @return True iff the expression is a variable.
              */
-            virtual bool isVariable() const;
+            bool isVariable() const;
             
             /*!
              * Checks if the expression is equal to the boolean literal true.