From 3a3cd966140ee5d16b877318fb3092d85d0e7288 Mon Sep 17 00:00:00 2001
From: Stefan Pranger <stefan.pranger@student.tugraz.at>
Date: Fri, 29 Jan 2021 08:01:19 +0100
Subject: [PATCH] added GameFormula class

---
 src/storm/logic/GameFormula.cpp | 2 +-
 src/storm/logic/GameFormula.h   | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/src/storm/logic/GameFormula.cpp b/src/storm/logic/GameFormula.cpp
index 64fdc60b8..a3e3cc649 100644
--- a/src/storm/logic/GameFormula.cpp
+++ b/src/storm/logic/GameFormula.cpp
@@ -23,7 +23,7 @@ namespace storm {
         PlayerCoalition const& GameFormula::getCoalition() const {
             return coalition;
         }
-        
+
         boost::any GameFormula::accept(FormulaVisitor const& visitor, boost::any const& data) const {
             return visitor.visit(*this, data);
         }
diff --git a/src/storm/logic/GameFormula.h b/src/storm/logic/GameFormula.h
index bc57583eb..4ccb2de03 100644
--- a/src/storm/logic/GameFormula.h
+++ b/src/storm/logic/GameFormula.h
@@ -19,7 +19,7 @@ namespace storm {
             virtual bool isGameFormula() const override;
             virtual bool hasQualitativeResult() const override;
             virtual bool hasQuantitativeResult() const override;
-            
+
             virtual boost::any accept(FormulaVisitor const& visitor, boost::any const& data) const override;
 
             virtual std::ostream& writeToStream(std::ostream& out) const override;