From a57b7fadfb1b17ccda8bef03beafc94d4e6878b6 Mon Sep 17 00:00:00 2001 From: Rob Lewis Date: Mon, 4 Jan 2016 15:10:51 -0500 Subject: [PATCH] style(replace_tactic): remove extra whitespace --- src/library/tactic/replace_tactic.cpp | 1 - 1 file changed, 1 deletion(-) diff --git a/src/library/tactic/replace_tactic.cpp b/src/library/tactic/replace_tactic.cpp index cc465a4463..9589c2171d 100644 --- 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() {