diff --git a/src/library/locals.cpp b/src/library/locals.cpp
index dd393935cf..e4e609ef95 100644
--- 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);