From ce69072305c37c6685c538794c187cf6ebc2385f Mon Sep 17 00:00:00 2001 From: "Christoph M. Wintersteiger" Date: Wed, 25 May 2016 18:21:04 +0100 Subject: [PATCH] Made nra tactic public. --- src/tactic/smtlogics/nra_tactic.h | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/src/tactic/smtlogics/nra_tactic.h b/src/tactic/smtlogics/nra_tactic.h index 0cf23c226..fc1e518b3 100644 --- a/src/tactic/smtlogics/nra_tactic.h +++ b/src/tactic/smtlogics/nra_tactic.h @@ -21,4 +21,8 @@ Notes: tactic * mk_nra_tactic(ast_manager & m, params_ref const & p = params_ref()); +/* +ADD_TACTIC("nra", "builtin strategy for solving NRA problems.", "mk_nra_tactic(m, p)") +*/ + #endif