From ad0bdd7508211331bf52e2ec3cf7983891c1c254 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Mon, 22 Jun 2015 14:01:36 +0200
Subject: [PATCH] include statistics from sub-modules for QF_UFNRA

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
---
 src/tactic/nlsat_smt/nl_purify_tactic.cpp | 10 ++++++++++
 1 file changed, 10 insertions(+)

diff --git a/src/tactic/nlsat_smt/nl_purify_tactic.cpp b/src/tactic/nlsat_smt/nl_purify_tactic.cpp
index be52bb477..0484c2ce2 100644
--- a/src/tactic/nlsat_smt/nl_purify_tactic.cpp
+++ b/src/tactic/nlsat_smt/nl_purify_tactic.cpp
@@ -676,6 +676,16 @@ public:
         m_cancel = f;
     }
 
+    virtual void collect_statistics(statistics & st) const {
+        m_nl_tac->collect_statistics(st);
+        m_solver->collect_statistics(st);                
+    }
+    
+    virtual void reset_statistics() {
+        m_nl_tac->reset_statistics();        
+    }
+
+
     virtual void cleanup() {
         m_solver = mk_smt_solver(m, m_params, symbol::null);
         m_nl_tac->cleanup();