diff --git a/src/kernel/formatter.cpp b/src/kernel/formatter.cpp
deleted file mode 100644
index 3e324c97f..000000000
--- a/src/kernel/formatter.cpp
+++ /dev/null
@@ -1,13 +0,0 @@
-/*
-Copyright (c) 2013 Microsoft Corporation. All rights reserved.
-Released under Apache 2.0 license as described in the file LICENSE.
-
-Author: Leonardo de Moura
-*/
-#include <sstream>
-#include "kernel/kernel_exception.h"
-#include "kernel/printer.h"
-#include "kernel/formatter.h"
-
-namespace lean {
-}