From e9a815666f1c65640f29b835fb20a72409cf01d4 Mon Sep 17 00:00:00 2001
From: dehnert <dehnert@cs.rwth-aachen.de>
Date: Thu, 24 May 2018 14:10:09 +0200
Subject: [PATCH] printing new predicates in verbose mode

---
 src/storm/abstraction/MenuGameRefiner.cpp | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/src/storm/abstraction/MenuGameRefiner.cpp b/src/storm/abstraction/MenuGameRefiner.cpp
index 627466d4a..2cab7a520 100644
--- a/src/storm/abstraction/MenuGameRefiner.cpp
+++ b/src/storm/abstraction/MenuGameRefiner.cpp
@@ -1449,9 +1449,9 @@ namespace storm {
         template<storm::dd::DdType Type, typename ValueType>
         void MenuGameRefiner<Type, ValueType>::performRefinement(std::vector<RefinementCommand> const& refinementCommands) const {
             for (auto const& command : refinementCommands) {
-                STORM_LOG_TRACE("Refining with " << command.getPredicates().size() << " predicates.");
+                STORM_LOG_INFO("Refining with " << command.getPredicates().size() << " predicates.");
                 for (auto const& predicate : command.getPredicates()) {
-                    STORM_LOG_TRACE(predicate);
+                    STORM_LOG_INFO(predicate);
                 }
                 if (!command.getPredicates().empty()) {
                     abstractor.get().refine(command);