From b506e4584547de1d323c6b373056ad501c93b81a Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Fri, 20 Sep 2019 08:57:21 -0700 Subject: [PATCH] align name of tactic in report Signed-off-by: Nikolaj Bjorner --- src/tactic/core/elim_uncnstr_tactic.cpp | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/tactic/core/elim_uncnstr_tactic.cpp b/src/tactic/core/elim_uncnstr_tactic.cpp index bca13366f..fd5239236 100644 --- a/src/tactic/core/elim_uncnstr_tactic.cpp +++ b/src/tactic/core/elim_uncnstr_tactic.cpp @@ -805,7 +805,7 @@ class elim_uncnstr_tactic : public tactic { bool produce_proofs = g->proofs_enabled(); TRACE("elim_uncnstr_bug", g->display(tout);); - tactic_report report("elim-uncnstr-vars", *g); + tactic_report report("elim-uncnstr", *g); m_vars.reset(); collect_occs p; p(*g, m_vars);