From a3e5dd31b3edbc63a6b54186a0aeca8d4bc67641 Mon Sep 17 00:00:00 2001
From: Leonardo de Moura <leonardo@microsoft.com>
Date: Tue, 12 Jun 2018 17:58:25 -0700
Subject: [PATCH] chore(library/locals): style

---
 src/library/locals.cpp | 1 -
 1 file changed, 1 deletion(-)

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);