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

style(library/blast/simplifier): follow else brace rules

Browse source
This commit is contained in:
Daniel Selsam 2015-11-16 16:49:36 -08:00
parent 6ba42bb7bc
commit 9f1dda5622
1 changed files with 1 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

3
src/library/blast/simplifier.cpp
View file

@ -524,8 +524,7 @@ result simplifier::simplify_fun(expr const & e) {
optional<result> simplifier::simplify_numeral(expr const & e) {
if (is_num(e)) {
return optional<result>(result(e));
}
else if (is_add_app(e) || is_mul_app(e)) {
} else if (is_add_app(e) || is_mul_app(e)) {
buffer<expr> args;
get_app_args(e, args);
if (is_num(args[2]) && is_num(args[3])){