From 7299b2d5d61d41ff8219efbab592f422e2e96e38 Mon Sep 17 00:00:00 2001 From: Leonardo de Moura Date: Tue, 21 Jan 2014 14:21:13 -0800 Subject: [PATCH] chore(kernel): remove dead file Signed-off-by: Leonardo de Moura --- src/kernel/formatter.cpp | 13 ------------- 1 file changed, 13 deletions(-) delete mode 100644 src/kernel/formatter.cpp 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 -#include "kernel/kernel_exception.h" -#include "kernel/printer.h" -#include "kernel/formatter.h" - -namespace lean { -}