diff --git a/src/tactic/core/der_tactic.h b/src/tactic/core/der_tactic.h
index 95b0a95da..8ba76d48e 100644
--- a/src/tactic/core/der_tactic.h
+++ b/src/tactic/core/der_tactic.h
@@ -23,7 +23,7 @@ class tactic;
 tactic * mk_der_tactic(ast_manager & m);
 
 /*
-  ADD_TACTIC_CMD("der", "destructive equality resolution.", "mk_der_tactic(m)")
+  ADD_TACTIC("der", "destructive equality resolution.", "mk_der_tactic(m)")
 */
 
 #endif /* _DER_TACTIC_H_ */