From 2054d67483b1a3db2389365bf53b2307b580e134 Mon Sep 17 00:00:00 2001 From: Leonardo de Moura Date: Fri, 1 May 2015 19:49:48 -0700 Subject: [PATCH] chore(library/tactic/rewrite_tactic): fix style --- src/library/tactic/rewrite_tactic.cpp | 1 - 1 file changed, 1 deletion(-) diff --git a/src/library/tactic/rewrite_tactic.cpp b/src/library/tactic/rewrite_tactic.cpp index b2a0cc8fc..25f35db1a 100644 --- a/src/library/tactic/rewrite_tactic.cpp +++ b/src/library/tactic/rewrite_tactic.cpp @@ -1656,7 +1656,6 @@ void initialize_rewrite_tactic() { get_tactic_id_list_elements(app_arg(e), ns, "invalid 'subst' tactic, list of identifiers expected"); return mk_subst_tactic(to_list(ns)); }); - } void finalize_rewrite_tactic() {