From 410d5cc8ed1fc8772bb47a5fe74bfabca8b248c7 Mon Sep 17 00:00:00 2001 From: Leonardo de Moura Date: Tue, 18 Feb 2014 23:17:48 -0800 Subject: [PATCH] fix(kernel): remove unnecessary file Signed-off-by: Leonardo de Moura --- src/kernel/replace_fn.h | 1 - 1 file changed, 1 deletion(-) diff --git a/src/kernel/replace_fn.h b/src/kernel/replace_fn.h index 4e20833fc..ee0bc74d7 100644 --- a/src/kernel/replace_fn.h +++ b/src/kernel/replace_fn.h @@ -10,7 +10,6 @@ Author: Leonardo de Moura #include "util/interrupt.h" #include "kernel/expr.h" #include "kernel/expr_maps.h" -#include "kernel/update_expr.h" namespace lean { /**