diff --git a/src/kernel/type_checker.cpp b/src/kernel/type_checker.cpp
index f8d1d95d7a..91b71e5f7b 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);
         }
     }
-
 };
 }