remove memory alloc from statistics_report

Z3Prover · Dec 5, 2022 · a2f5a5b · a2f5a5b
1 parent eb8c53c
commit a2f5a5b
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 3 deletions.
diff --git a/src/tactic/core/elim_uncnstr_tactic.cpp b/src/tactic/core/elim_uncnstr_tactic.cpp
@@ -867,8 +867,7 @@ class elim_uncnstr_tactic : public tactic {
     void run(goal_ref const & g, goal_ref_buffer & result) {
         bool produce_proofs = g->proofs_enabled();
         TRACE("goal", g->display(tout););
-        std::function<void(statistics&)> coll = [&](statistics& st) { collect_statistics(st); };
-        statistics_report sreport(coll);
+        statistics_report sreport([&](statistics& st) { collect_statistics(st); });
         tactic_report report("elim-uncnstr", *g);
         m_vars.reset();
         collect_occs p;

diff --git a/src/tactic/tactic.h b/src/tactic/tactic.h
@@ -120,7 +120,7 @@ class statistics_report {
     std::function<void(statistics& st)> m_collector;
 public:
     statistics_report(tactic& t):m_tactic(&t) {}
-    statistics_report(std::function<void(statistics&)>& coll): m_collector(coll) {}
+    statistics_report(std::function<void(statistics&)>&& coll): m_collector(std::move(coll)) {}
     ~statistics_report();
 };