mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-04-12 12:08:18 +00:00
Code Activity

align name of tactic in report

Browse source 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
This commit is contained in:
Nikolaj Bjorner 2019-09-20 08:57:21 -07:00
parent cd0cd82eb7
commit b506e45845
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
src/tactic/core/elim_uncnstr_tactic.cpp
View file

@ -805,7 +805,7 @@ class elim_uncnstr_tactic : public tactic {
bool produce_proofs = g->proofs_enabled(); bool produce_proofs = g->proofs_enabled();
TRACE("elim_uncnstr_bug", g->display(tout);); TRACE("elim_uncnstr_bug", g->display(tout););
tactic_report report("elim-uncnstr-vars", *g); tactic_report report("elim-uncnstr", *g);
m_vars.reset(); m_vars.reset();
collect_occs p; collect_occs p;
p(*g, m_vars); p(*g, m_vars);