mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-07-24 21:26:59 +00:00
Code Activity

Remove unnecessary parameter

Browse source
This commit is contained in:
Nicolas Braud-Santoni 2017-08-22 18:09:57 +00:00
parent c0b6d00e8a
commit 33dd168195
1 changed files with 0 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

1
src/tactic/core/injectivity_tactic.cpp
View file

@ -268,7 +268,6 @@ public:
virtual void collect_param_descrs(param_descrs & r) { virtual void collect_param_descrs(param_descrs & r) {
insert_max_memory(r); insert_max_memory(r);
insert_produce_models(r); insert_produce_models(r);
r.insert("elim_and", CPK_BOOL, "(default: false) eliminate conjunctions during (internal) calls to the simplifier.");
} }
virtual void operator()(goal_ref const & g, virtual void operator()(goal_ref const & g,