From 2972f43deffc2f86e31fd165e961821c8c681dcb Mon Sep 17 00:00:00 2001
From: Stefan Pranger <stefan.pranger@student.tugraz.at>
Date: Mon, 23 Nov 2020 17:49:12 +0100
Subject: [PATCH] removed print from CloneVisitor

---
 src/storm/logic/CloneVisitor.cpp | 1 -
 1 file changed, 1 deletion(-)

diff --git a/src/storm/logic/CloneVisitor.cpp b/src/storm/logic/CloneVisitor.cpp
index 8c8d82ca2..1d751bb2e 100644
--- a/src/storm/logic/CloneVisitor.cpp
+++ b/src/storm/logic/CloneVisitor.cpp
@@ -88,7 +88,6 @@ namespace storm {
         }
 
         boost::any CloneVisitor::visit(GameFormula const& f, boost::any const& data) const {
-            STORM_PRINT_AND_LOG("CloneVisitor called for GameFormula\n");
             std::shared_ptr<Formula> subformula = boost::any_cast<std::shared_ptr<Formula>>(f.getSubformula().accept(*this, data));
             return std::static_pointer_cast<Formula>(std::make_shared<GameFormula>(f.getCoalition(), subformula));
         }