diff options
Diffstat (limited to 'tactics/equality.ml')
| -rw-r--r-- | tactics/equality.ml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/tactics/equality.ml b/tactics/equality.ml index 214389f18f..60acd90925 100644 --- a/tactics/equality.ml +++ b/tactics/equality.ml @@ -1302,3 +1302,4 @@ let replace_term_in t hyp = replace_multi_term None t (Tacticals.onHyp hyp) let _ = Setoid_replace.register_replace (fun tac_opt c2 c1 gl -> replace_in_clause_maybe_by c2 c1 onConcl tac_opt gl) let _ = Setoid_replace.register_general_rewrite general_rewrite +let _ = Tactics.register_general_multi_rewrite general_multi_rewrite |