mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-04-29 03:45:51 +00:00
Code Activity

changing preamble for qfufbv_ackr_tactic.

Browse source
This commit is contained in:
Mikolas Janota 2016-02-04 14:05:40 +00:00
parent faa620f673
commit 8547a965ab
1 changed files with 1 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

2
src/tactic/smtlogics/qfufbv_tactic.cpp
View file

@ -181,7 +181,7 @@ tactic * mk_qfufbv_tactic(ast_manager & m, params_ref const & p) {
}
tactic * mk_qfufbv_ackr_tactic(ast_manager & m, params_ref const & p) {
tactic * const preamble_t = mk_qfufbv_preamble(m, p);
tactic * const preamble_t = mk_qfufbv_preamble1(m, p);
tactic * const actual_tactic = alloc(qfufbv_ackr_tactic, m, p);
return and_then(preamble_t,