From 103e49d9b4906237a9f520d27861675e222f2c7d Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Wed, 18 Jun 2014 09:53:47 -0700 Subject: [PATCH] Add option to control explosion of cofactor-term-ite following example by Anvesh Signed-off-by: Nikolaj Bjorner --- src/tactic/core/cofactor_elim_term_ite.cpp | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/tactic/core/cofactor_elim_term_ite.cpp b/src/tactic/core/cofactor_elim_term_ite.cpp index bba6db2b6..1f560ef62 100644 --- a/src/tactic/core/cofactor_elim_term_ite.cpp +++ b/src/tactic/core/cofactor_elim_term_ite.cpp @@ -563,7 +563,7 @@ struct cofactor_elim_term_ite::imp { } TRACE("cofactor", tout << "cofactor_ite step: " << step << "\n"; - tout << "co-factor: " << mk_ismt2_pp(c, m) << "\n"; + tout << "cofactor: " << mk_ismt2_pp(c, m) << "\n"; tout << mk_ismt2_pp(curr, m) << "\n";); } }