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;