style(replace_tactic): remove extra whitespace

2016-01-04 15:10:51 -05:00 · 2016-01-04 15:10:51 -05:00 · a57b7fadfb
commit a57b7fadfb
parent 458725e63f
1 changed files with 0 additions and 1 deletions
--- a/src/library/tactic/replace_tactic.cpp
+++ b/src/library/tactic/replace_tactic.cpp
@ -117,7 +117,6 @@ void initialize_replace_tactic() {
                 [](type_checker &, elaborate_fn const & elab, expr const & e, pos_info_provider const *) {
                     return mk_replace_tactic(elab, e);
                 });
-
 }

 void finalize_replace_tactic() {