chore(library/locals): style

2018-06-12 17:58:25 -07:00 · 2018-06-12 17:58:25 -07:00 · a3e5dd31b3
commit a3e5dd31b3
parent ba598ada1a
1 changed files with 0 additions and 1 deletions
--- a/src/library/locals.cpp
+++ b/src/library/locals.cpp
@ -104,7 +104,6 @@ void collect_locals(expr const & e, collected_locals & ls, bool restricted) {
            break;
        case expr_kind::Quote:
            break; // do nothing
-
        }
    };
    visit(e);