michael/lean2
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

chore(library/tactic/rewrite_tactic): fix style

Browse source
This commit is contained in:
Leonardo de Moura 2015-05-01 19:49:48 -07:00
parent 230b994e79
commit 2054d67483
1 changed files with 0 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

1
src/library/tactic/rewrite_tactic.cpp
View file

@ -1656,7 +1656,6 @@ void initialize_rewrite_tactic() {
get_tactic_id_list_elements(app_arg(e), ns, "invalid 'subst' tactic, list of identifiers expected"); get_tactic_id_list_elements(app_arg(e), ns, "invalid 'subst' tactic, list of identifiers expected");
return mk_subst_tactic(to_list(ns)); return mk_subst_tactic(to_list(ns));
}); });
} }
void finalize_rewrite_tactic() { void finalize_rewrite_tactic() {