From 4cd818b57825e99bd9493fb9a54b8729f99c1e6d Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Mon, 10 Jan 2022 14:40:27 -0800 Subject: [PATCH] #5766 --- src/tactic/core/collect_statistics_tactic.cpp | 1 - 1 file changed, 1 deletion(-) diff --git a/src/tactic/core/collect_statistics_tactic.cpp b/src/tactic/core/collect_statistics_tactic.cpp index e507f49dd..1db745b60 100644 --- a/src/tactic/core/collect_statistics_tactic.cpp +++ b/src/tactic/core/collect_statistics_tactic.cpp @@ -128,7 +128,6 @@ protected: if (m_stats.find("max-quantification-depth") == m_stats.end() || m_stats["max-quantification-depth"] < m_qdepth) m_stats["max-quantification-depth"] = m_qdepth; - this->operator()(body); m_qdepth--; }