From 1815812889c484b79d8a57e97834c0d8a8deb47a Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Thu, 24 Nov 2022 22:05:30 +0700 Subject: [PATCH] fix typo in name of tactic --- src/tactic/core/propagate_values2_tactic.h | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/tactic/core/propagate_values2_tactic.h b/src/tactic/core/propagate_values2_tactic.h index 2ca534a49..ab9646128 100644 --- a/src/tactic/core/propagate_values2_tactic.h +++ b/src/tactic/core/propagate_values2_tactic.h @@ -36,6 +36,6 @@ inline tactic * mk_propagate_values2_tactic(ast_manager & m, params_ref const & /* - ADD_TACTIC("propagate-valuesx2", "propagate constants.", "mk_propagate_values2_tactic(m, p)") + ADD_TACTIC("propagate-values2", "propagate constants.", "mk_propagate_values2_tactic(m, p)") */