From fb2ec8fb1229a2ef2589c568fb294a2378c6584d Mon Sep 17 00:00:00 2001
From: Leonardo de Moura <leonardo@microsoft.com>
Date: Fri, 28 Feb 2014 17:20:21 -0800
Subject: [PATCH] fix(kernel): style

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

diff --git a/src/kernel/type_checker.cpp b/src/kernel/type_checker.cpp
index a634d3465..ac8804190 100644
--- a/src/kernel/type_checker.cpp
+++ b/src/kernel/type_checker.cpp
@@ -88,16 +88,12 @@ class type_checker::imp {
         throw function_expected_exception(env(), ctx, s);
     }
 #endif
-
 };
 
-
 #if 0
 static name g_x_name("x");
 /** \brief Auxiliary functional object used to implement infer_type. */
 class type_checker::imp {
-
-
     // TODO(Leo): we should consider merging check_pi and check_sigma.
     // They are very similar
     expr check_sigma(expr const & e, expr const & s, context const & ctx) {