From b8b5c4d5b4576621a65d98ad09f60ca26de8dac8 Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Wed, 8 Oct 2014 13:21:34 -0700 Subject: [PATCH] disable blanket validation Signed-off-by: Nikolaj Bjorner --- src/tactic/tactical.cpp | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/src/tactic/tactical.cpp b/src/tactic/tactical.cpp index 87974ea60..168965c17 100644 --- a/src/tactic/tactical.cpp +++ b/src/tactic/tactical.cpp @@ -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); }