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