Commits

Leonardo de Moura committed b629dd7

fixed der tactic installation command

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>

Comments (0)

Files changed (1)

src/tactic/core/der_tactic.h

 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_ */