From 589f2c6bb36c85b70353d3cfbfc2c28f9674ede5 Mon Sep 17 00:00:00 2001 From: Leonardo de Moura Date: Mon, 10 Dec 2012 18:46:02 -0800 Subject: [PATCH] improved unknown parameter error msg Signed-off-by: Leonardo de Moura --- src/util/gparams.cpp | 1 + 1 file changed, 1 insertion(+) diff --git a/src/util/gparams.cpp b/src/util/gparams.cpp index 1305a1e02..8b1fbe40e 100644 --- a/src/util/gparams.cpp +++ b/src/util/gparams.cpp @@ -52,6 +52,7 @@ char const * g_params_renames[] = { "qi_cost", "smt.qi.cost", "qi_eager_threshold", "smt.qi.eager_threshold", "nl_arith", "smt.arith.nl", + "pull_nested_quantifiers", "smt.pull_nested_quantifiers", "nnf_sk_hack", "nnf.sk_hack", "model_v2", "model.v2", "pi_non_nested_arith_weight", "pi.non_nested_arith_weight",