From 53ac9a3873b8701e637f9adbc4db889bfe51bf53 Mon Sep 17 00:00:00 2001
From: Stefan Pranger <stefan.pranger@student.tugraz.at>
Date: Mon, 23 Nov 2020 13:45:16 +0100
Subject: [PATCH] fixed typo in arg list of GameFormula

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

diff --git a/src/storm/logic/GameFormula.cpp b/src/storm/logic/GameFormula.cpp
index 8e42f7e65..697a695a0 100644
--- a/src/storm/logic/GameFormula.cpp
+++ b/src/storm/logic/GameFormula.cpp
@@ -4,8 +4,7 @@
 
 namespace storm {
     namespace logic {
-        GameFormula::GameFormula(Coalition coalition, std::shared_ptr<Formula const> subFormula) : coalition(coalition), subformula(subformula) {
-            STORM_PRINT_AND_LOG("CTOR subf usecount:" << subformula.use_count() << std::endl);
+        GameFormula::GameFormula(Coalition coalition, std::shared_ptr<Formula const> const& subformula) : coalition(coalition), subformula(subformula) {
             // Intentionally left empty.
         }
 
diff --git a/src/storm/logic/GameFormula.h b/src/storm/logic/GameFormula.h
index 81384ddcf..113b9e65f 100644
--- a/src/storm/logic/GameFormula.h
+++ b/src/storm/logic/GameFormula.h
@@ -9,7 +9,7 @@ namespace storm {
     namespace logic {
         class GameFormula : public Formula {
         public:
-            GameFormula(Coalition coalition, std::shared_ptr<Formula const> subFormula);
+            GameFormula(Coalition coalition, std::shared_ptr<Formula const> const& subFormula);
 
             ~GameFormula() {
                 // Intentionally left empty.