3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-04-06 17:44:08 +00:00

fix typo in name of tactic

This commit is contained in:
Nikolaj Bjorner 2022-11-24 22:05:30 +07:00
parent a64c7c5d19
commit 1815812889

View file

@ -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)")
*/