From b629dd7fdda6c7f1c6d1caa684ea0ea0a88eba0d Mon Sep 17 00:00:00 2001 From: Leonardo de Moura Date: Tue, 30 Oct 2012 08:38:20 -0700 Subject: [PATCH] fixed der tactic installation command Signed-off-by: Leonardo de Moura --- src/tactic/core/der_tactic.h | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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_ */