From 61b85d7123ed2e6c3842eba61f38c51345c4b79f Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Thu, 16 Jul 2020 17:48:18 -0700
Subject: [PATCH] verbosity

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
---
 src/solver/parallel_tactic.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/solver/parallel_tactic.cpp b/src/solver/parallel_tactic.cpp
index 76c31b1fd..ec3e50a83 100644
--- a/src/solver/parallel_tactic.cpp
+++ b/src/solver/parallel_tactic.cpp
@@ -641,7 +641,7 @@ private:
                 collect_statistics(*st);
                 m_queue.task_done(st);
                 if (!st->m().inc()) m_queue.shutdown();
-                IF_VERBOSE(1, display(verbose_stream()););
+                IF_VERBOSE(2, display(verbose_stream()););
                 dealloc(st);
             }
         }