mirror of
https://github.com/Z3Prover/z3
synced 2025-04-08 18:31:49 +00:00
disable blanket validation
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
This commit is contained in:
parent
335f9a9be1
commit
b8b5c4d5b4
|
@ -1229,9 +1229,9 @@ class using_params_tactical : public unary_tactical {
|
|||
params_ref m_params;
|
||||
public:
|
||||
using_params_tactical(tactic * t, params_ref const & p):unary_tactical(t), m_params(p) {
|
||||
param_descrs r;
|
||||
collect_param_descrs(r);
|
||||
p.validate(r);
|
||||
//param_descrs r;
|
||||
//collect_param_descrs(r);
|
||||
//p.validate(r);
|
||||
t->updt_params(p);
|
||||
}
|
||||
|
||||
|
|
Loading…
Reference in a new issue