From ed37bf650de8483c2a9d357159de5fa26017249c Mon Sep 17 00:00:00 2001
From: Leonardo de Moura <leonardo@microsoft.com>
Date: Tue, 22 Apr 2014 18:34:55 -0700
Subject: [PATCH] chore(kernel/environment): fix style

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
---
 src/kernel/type_checker.cpp | 1 -
 1 file changed, 1 deletion(-)

diff --git a/src/kernel/type_checker.cpp b/src/kernel/type_checker.cpp
index f8d1d95d7..91b71e5f7 100644
--- a/src/kernel/type_checker.cpp
+++ b/src/kernel/type_checker.cpp
@@ -155,6 +155,5 @@ struct type_checker::imp {
             return unfold_name_core(e, w);
         }
     }
-
 };
 }