Made nra tactic public.

Z3Prover · May 25, 2016 · ce69072 · ce69072
1 parent c4610e0
commit ce69072
Showing 1 changed file with 4 additions and 0 deletions.
diff --git a/src/tactic/smtlogics/nra_tactic.h b/src/tactic/smtlogics/nra_tactic.h
@@ -21,4 +21,8 @@ Module Name:
 
 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